基于接口自動機分析和檢測構件良構性的算法
大?。?/span>1.16 MB 人氣： 2017-12-06 需要積分：1
標簽：自動機(9226)
針對構件式系統(tǒng)中任一構件的非良構性會導致系統(tǒng)不能正常運行的問題，提出一種基于接口自動機（IA）來分析和檢測構件良構性（well-formedness）的算法，并據此實現(xiàn)了一個構件良構性檢測原型系統(tǒng)。該算法首先構造與接口自動機同構的可達圖；其次，基于可達圖通過深度優(yōu)先遍歷生成一條覆蓋所有遷移的有序集；最后，根據該有序集檢測在外界環(huán)境滿足其輸入假設的情況下，每個屬于方法的活動到其對應返回活動的路徑的自治無異?？蛇_性，從而實現(xiàn)接口自動機的良構性檢測。根據所提算法在Eclipse平臺設計并實現(xiàn)了構件良構性檢測原型系統(tǒng)T-CWFC，該系統(tǒng)通過JFLAP建立構件的接口自動機模型并構造其可達圖，進而對接口自動機作良構性檢測并輸出相關檢測信息。最后通過對一組構件的良構性檢測實驗驗證了算法的有效性。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%