基于接口自動機分析和檢測構件良構性的算法
大小：1.16 MB 人氣： 2017-12-06 需要積分：1
標簽：自動機(9226)
針對構件式系統中任一構件的非良構性會導致系統不能正常運行的問題，提出一種基于接口自動機（IA）來分析和檢測構件良構性（well-formedness）的算法，并據此實現了一個構件良構性檢測原型系統。該算法首先構造與接口自動機同構的可達圖；其次，基于可達圖通過深度優先遍歷生成一條覆蓋所有遷移的有序集；最后，根據該有序集檢測在外界環境滿足其輸入假設的情況下，每個屬于方法的活動到其對應返回活動的路徑的自治無異常可達性，從而實現接口自動機的良構性檢測。根據所提算法在Eclipse平臺設計并實現了構件良構性檢測原型系統T-CWFC，該系統通過JFLAP建立構件的接口自動機模型并構造其可達圖，進而對接口自動機作良構性檢測并輸出相關檢測信息。最后通過對一組構件的良構性檢測實驗驗證了算法的有效性。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于接口自動機分析和檢測構件良構性的算法下載
相關電子資料下載
- 2030年，自動駕駛傳感器市場將高達235億美元 170
- 全自動機器人激光焊接機主要用于哪些行業 271
- 汽車線束自動機看板順序優化方案 380
- 淺談自動機械手在鍛壓行業的發展前景 249
- T900數傳在無人機自動機場上應用解析 888
- 自動機器人焊接為制造業轉型升級賦能！ 368
- 在main函數中運行的自動機 511
- Spring狀態機存在的問題 402
- AOI全自動機器人代替人工收放料助推FPC智能工廠生產 1159
- 基于機器學習的跟蹤算法的自動機器人提高手術精度 1257