《新型狀態模型切片關鍵技術研究》是依託北京化工大學，由李征擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：新型狀態模型切片關鍵技術研究
- 依託單位：北京化工大學
- 項目類別：青年科學基金項目
- 項目負責人：李征
項目摘要,結題摘要,
項目摘要
基於狀態模型的切片技術可以有效地約減模型尺寸，分析和管理複雜模型。當前EFSM模型依賴分析技術和切片算法要求模型狀態圖必須有唯一的開始狀態和唯一的終止狀態。對於多終止狀態或無終止狀態的模型，需要人為添加一個虛擬終止狀態，由此而引起的狀態圖改變將影響依賴分析的準確性。因此本課題旨在研究EFSM模型的新型控制依賴關係，在不改變狀態圖的情況下，有效並準確地分析遷移間的依賴關係，結合數據依賴分析共同生成依賴關係圖，進而實現基於新型依賴關係的EFSM模型切片算法。理論研究的同時，本課題將建造標誌性模型庫並開發工具實現算法，開展實驗研究，將新型EFSM依賴分析技術和切片算法套用到實際中。研究成果將解決複雜模型的準確分析問題，為基於模型的軟體測試、模型校驗等技術提供有力的支持和高效的分析方法，降低技術實施成本，進而有效地促進模型驅動開發的發展。
結題摘要
本課題在充分研究EFSM模型的新型控制依賴關係的基礎上，結合數據依賴分析共同生成系統依賴關係圖，最終實現了基於新型依賴關係的EFSM模型切片算法，全面解決包括具有非終止和非決定性的各類EFSM模型的控制依賴分析。在理論研究的同時，課題組建造標誌性模型庫並開發了工具軟體，開展了實驗研究。本課題的主要貢獻如下：（1）本課題在比較EFSM模型和程式差異的前提下，全面研究了各種控制依賴關係，提出了基於 EFSM模型的NTSCD，NTICD和Order Dependence，可以有效地解決各種EFSM模型的控制依賴分析；（2）本課題形式化地描述了所有依賴關係的定義和對應算法的偽代碼，首次發現了一些新的屬性並提供了形式化證明，為EFSM模型的依賴性分析奠定了理論基礎； （3）本課題研究了基於新型依賴關係的切片方法，首次提出了針對具有非終止和非決定性的EFSM模型切片算法，並給出了算法的偽代碼描述。（4）本課題首次建立了標誌性 EFSM模型庫，並對這些模型進行了實驗研究。實驗結果表明我們提出的切片算法對各類 EFSM模型均可有效地生成模型切片，算法也可以擴展到具有一定尺寸規模的模型上。總之，本課題的研究成果可以有效地解決複雜模型的準確分析問題，為基於模型的軟體測試、模型校驗等技術提供有力的支持和高效的分析方法，降低了技術實施成本，進而有效地促進模型驅動開發的發展。
