針對構(gòu)件式系統(tǒng)中任一構(gòu)件的非良構(gòu)性會導(dǎo)致系統(tǒng)不能正常運(yùn)行的問題，提出一種基于接口自動機(jī)（IA）來分析和檢測構(gòu)件良構(gòu)性（well-formedness）的算法，并據(jù)此實(shí)現(xiàn)了一個構(gòu)件良構(gòu)性檢測原型系統(tǒng)。該算法首先構(gòu)造與接口自動機(jī)同構(gòu)的可達(dá)圖；其次，基于可達(dá)圖通過深度優(yōu)先遍歷生成一條覆蓋所有遷移的有序集；最后，根據(jù)該有序集檢測在外界環(huán)境滿足其輸入假設(shè)的情況下，每個屬于方法的活動到其對應(yīng)返回活動的路徑的自治無異常可達(dá)性，從而實(shí)現(xiàn)接口自動機(jī)的良構(gòu)性檢測。根據(jù)所提算法在Eclipse平臺設(shè)計(jì)并實(shí)現(xiàn)了構(gòu)件良構(gòu)性檢測原型系統(tǒng)T-CWFC，該系統(tǒng)通過JFLAP建立構(gòu)件的接口自動機(jī)模型并構(gòu)造其可達(dá)圖，進(jìn)而對接口自動機(jī)作良構(gòu)性檢測并輸出相關(guān)檢測信息。最后通過對一組構(gòu)件的良構(gòu)性檢測實(shí)驗(yàn)驗(yàn)證了算法的有效性。