《複雜集成軟體系統產品線可變性建模與配置技術研究》是依託北京航空航天大學，由張莉擔任項目負責人的面上項目。
基本介紹
- 中文名：複雜集成軟體系統產品線可變性建模與配置技術研究
- 依託單位：北京航空航天大學
- 項目負責人：張莉
- 項目類別：面上項目
項目摘要,結題摘要,
項目摘要
可變性建模與配置技術是實現軟體產品線的關鍵技術。複雜集成軟體系統往往由涉及不同專業的子系統組成，產品線可變性模型的協同建模困難，尤其是各可變點之間錯綜複雜的約束關係的建模。同時可變性模型可能配置的產品數量與可變點數量呈指數級關係，使得可變性模型配置難度加大。本課題擬基於模型驅動的思想，研究面向配置的關注點分離的可變性建模技術，以支持複雜集成軟體系統的軟體產品線需求和體系結構建模，以及複雜可變性模型約束關係的建模。在此基礎上，研究產品線需求模型和產品線體系結構模型間的可變性配置的追蹤關係，為軟體產品的分析與自動配置提供基礎。根據可變性模型的追蹤關係與可變性約束依賴關係，構建依賴關係模型，進行產品配置的傳播與影響分析。研究基於啟發式算法的配置過程最佳化技術，實現軟體產品配置順序的最佳化，降低配置的時間複雜度。最後，在實際的工業項目中進行實驗和驗證分析。
結題摘要
可配置的需求模型和體系結構模型是軟體產品線的核心資產，可變性建模技術與針對特定產品的配置技術是實現軟體產品線的兩個關鍵技術。而複雜集成軟體系統往往由大量涉及不同專業的子系統組成，從而使得產品線可變性模型的協同建模更加困難，尤其是對於各可變點之間錯綜複雜的約束關係的建模。同時可變性模型可能配置的產品數量與可變點數量呈指數級關係，使得可變性模型配置難度加大。本課題基於模型驅動的思想，重點研究了面向配置的關注點分離的可變性建模技術、產品線需求模型和產品線體系結構模型間的可變性配置的追蹤關係和產品配置中的符合性檢查及配置最佳化技術等。 在可變性建模方面，提出了一種半自動的軟體產品線領域需求建模方法和關注點分離的產品線體系結構建模方法；並重點針對約束性建模，在對工業案例的可變性約束特點進行分析的基礎上，提出了一種面向互動式配置的可變性約束分類方法，通過工業案例的套用驗證了該方法的有效性；在產品配置方面，提出了一種基於模型切片的配置影響分析方法和基於搜尋算法的配置過程最佳化方法，並選取多個工業案例驗證了該方法的有效性；提出了一種面向複雜集成系統產品線的基於動態驗證樹的產品互動配置符合性增量檢查方法和基於搜尋的產品線互動配置符合性修複方法，實驗結果顯示該方法能夠以毫秒級的回響時間支持產品線互動配置過程中實時的符合性檢查以及在較快的時間內尋找到解決符合性修複方案。
