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