《支持演化的可信軟體過程研究》是依託雲南大學，由張璇擔任負責人的國家自然科學基金專項基金項目。
基本介紹
- 中文名：支持演化的可信軟體過程研究
- 負責人：張璇
- 依託單位：雲南大學
- 項目類型：專項基金項目
項目摘要,結題摘要,
項目摘要
可信軟體基於軟體過程在開發和演化條件下的方法論是當前可信軟體及軟體工程領域國內外的關注重點。鑒於可信軟體及其演化的複雜性和多樣性：1、提出與軟體套用場景無關的可信軟體質量屬性模型及基於套用場景變化的裁剪方法。使用個體經濟學的現值分析、風險分析和效用論研究基於約束的可信軟體質量屬性間的相關性和權衡關係，對相關性影響效應進行界定和量化，提出屬性間衝突消解的方法。2、擴展Petri網，融合存在衝突的可信過程，引入雲南大學李彤教授的軟體演化過程元模型，提出支持演化的可信軟體過程形式化元模型和基於元模型的過程描述語言。同時，基於過程挖掘和過程模型符合性分析，對過程模型具體執行進行動態跟蹤。3、引入基於進程代數的嚴格操作語義，提出支持演化的可信軟體過程模型的多種形式化驗證，包括結構驗證、性質驗證、行為驗證與可信驗證。同時，通過案例實證研究以及專家的評估對上述理論研究進行最佳化。
結題摘要
伴隨著軟體廣泛而深入地滲透到政治、經濟、軍事、文化和社會生活的各個層面，作為現代生產力發展和人類文明進步不可或缺的強大工具，在國防、金融、政府和通信等關鍵領域的各種複雜套用需求背景下，軟體是否可信已經成為衡量軟體系統的重要指標。可信軟體基於軟體過程在開發和演化條件下的方法論已成為可信軟體及軟體工程領域國內外的關注重點。 鑒於可信軟體及其演化的複雜性和多樣性，本項目從細化分析可信軟體的可信需求及需求相互關係入手，系統總結國內外已有成果，對支持演化的可信軟體過程進行形式化建模與驗證，並在實際的軟體工程案例中對建模進行實證評估和完善，從而實現可信軟體基於過程控制在開發和演化條件下的方法論的理論和實踐提升。通過項目執行，項目組取得三個方面的重要研究結果：1、提出套用場景無關的可信軟體需求建模方法及基於套用場景變化的領域建模方法。對於存在衝突的軟體非功能需求，使用個體經濟學的生產理論、替代彈性原理和線性規劃方法，研究基於約束的可信軟體需求間相關性和權衡關係，對相關性影響效應進行界定和量化，提出非功能需求間衝突消解的方法，最大程度提供可信任度。2、通過權衡可信軟體需求尋找支持可信軟體過程建模的過程策略。擴展Petri網，使用面向方面方法，提出過程策略套用模式，定義可信軟體過程形式化元模型，提出基於元模型的可信軟體過程建模方法。引入基於進程代數和模型檢測的嚴格操作語義，提出可信軟體過程模型的多種形式化驗證，包括結構驗證、性質驗證、行為驗證與可信驗證。3、提出軟體過程可信性評估、過程實例線上可信演化、過程最佳化改進、可信方面追蹤、軟體動態演化一致性驗證、軟體過程行為偏離診斷與解決、Web服務可信性評估與推薦、過程自動化以及過程管理風險評估與控制相關方法，較為全面地通過對軟體過程的保證強化軟體可信性。同時，通過案例實證研究、專家評估以及產業界合作，最佳化所有理論研究成果。
