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

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

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

基本介紹

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

項目摘要

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

結題摘要

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

相關詞條

熱門詞條

聯絡我們