網構軟體體系結構建模與檢測的方法和技術研究

《網構軟體體系結構建模與檢測的方法和技術研究》是依託北方工業大學，由趙會群擔任項目負責人的面上項目。

基本介紹

• 中文名：網構軟體體系結構建模與檢測的方法和技術研究
• 項目類別：面上項目
• 項目負責人：趙會群
• 依託單位：北方工業大學

項目摘要

運用代數學理論研究網構軟體體系結構的建模方法。在把網構連線解釋成網構運算、根據網構連線特性對網構運算進行分類、嚴格證明網構運算的代數性質之後，提出網構軟體體系結構的代數模型。在代數模型基礎上，重點研究網構軟體體系結構的可信性設計問題。通過提出多種可信範式和可信性評價模型，把可信屬性作為功能屬性進行設計，建立可信的網構軟體體系結構模型。基於上述模型，對可信性檢驗方法和技術研究。提出配合模型檢驗(Model Checking,簡稱MC)的狀態空間簡化方法，提出基於可信範式和網構運算性質的體系結構可信性檢驗方法，以及基於模型檢驗結果引導的體系結構測試方法，支持網構軟體基於體系結構全生命周期檢測的思想。對上述檢測技術研究，設計實現一個網構軟體體系結構可信性檢測工具原型系統。

結題摘要

按照國家自然科學基金項目的任務書，課題組完成了以下三方面的研究工作。（1）網構軟體建模方法研究。成功地把代數學方法引入網構軟體的建模中，定義了網構“使用”、“激發”、“協同”、“並行”、“重複”、“選擇”，證明了相關的運算法則，從而為研究網構軟體的性質奠定了理論基礎。（2）基於網構代數模型繼續研究網構軟體的可達性設計和保障措施，提出了多種可靠性範式，為模型檢測和測試可達性提供了檢測條件。（3）網構代數模型的套用研究。在證明了網構空間與代數空間的等價變換之後，把網構表達式等價變換成線性代數表達式，從而許多網構空間下的問題可以在代數空間裡求解，比如，網構的可達性分析等。這一創新研究為理論研究複雜網構軟體找到了新的途徑。