《環境知識驅動的軟體可信性需求工程方法與技術研究》是依託北京大學，由金芝擔任負責人的重大研究計畫。
基本介紹
- 中文名：環境知識驅動的軟體可信性需求工程方法與技術研究
- 項目負責人：金芝
- 依託單位：北京大學
- 項目類別：重大研究計畫
項目摘要,結題摘要,
項目摘要
軟體的可信性問題已經受到軟體領域包括研究者、開發者和用戶等各方面人員的日益關注，但系統地識別、分析、建模軟體的可信性需求是當前的一個極具挑戰性的問題。本課題從軟體與其將處於的環境之間的關係出發，研究軟體的可信性需求，試圖構建基於軟體環境建模的一組針對軟體可信性的需求識別、分析、建模和驗證技術，並系統地建立支持軟體可信性需求工程的方法和過程體系。課題主要研究內容包括：軟體可信性需求知識框架，基於環境知識的軟體可信性需求識別，基於模式的軟體可信性需求建模和分析，軟體可信性需求的衝突檢測和正確性驗證，環境變化驅動的軟體可信性需求演化，和軟體可信性需求工程過程等。除了對上述方法和技術進行研究外，本項目還將提供相應的面向軟體可信性的需求工程支撐工具原型系統，並將結合特定領域的套用問題，進行實證研究。
結題摘要
軟體系統的可信性是指軟體系統的行為符合人們的預期，並且在受到操作錯誤、外部攻擊及其它非預期環境因素的干擾下，也具有連續提供令人滿意的服務的能力。本項目致力於研究軟體系統的可信性需求工程方法和技術，其核心研究目標是如何保證可信軟體系統需求的可信性，即：如何系統地捕獲並分析軟體系統的需求，使得一個滿足這組需求的軟體系統，在存在環境風險的情況下，也能對外提供穩定可靠的服務。具體而言，本項目針對動態開放網路環境下軟體系統的特性，以軟體系統環境建模為基礎，研究如何從用戶期望的軟體系統與其環境的互動中，通過對軟體系統與其環境相互作用的影響分析，並根據軟體系統運行支撐平台的特點，識別、發現、和推斷軟體可信性需求的方法；研究軟體可信性需求的滿足策略/模式、基於可信性需求滿足模式的軟體可信性需求建模和分析技術、以及軟體可信性需求隨套用場景和作用環境的變化性建模和管理策略；並最終系統地建立環境知識驅動的軟體可信性需求工程方法、相應的軟體可信性需求工程過程、以及基於本體的軟體可信性需求知識框架。在項目執行過程中，我們從軟體可信需求知識框架、軟體可信性需求工程和軟體需求的不一致性處理等三個層面開展了深入系統的研究：提出並詮釋了基於環境的可信軟體的基本含義；構建了可信軟體需求概念框架和本體知識庫；提出並系統地構建了一種基於控制論的軟體可信性需求捕獲方法，以及結合環境建模的軟體可信性需求分析和驗證方法，制定了可信軟體需求工程過程及其指南以及相應的工具原型；圓滿完成了項目的研究目標。
