基於邏輯的不一致需求管理方法

《基於邏輯的不一致需求管理方法》是依託北京大學，由牟克典擔任負責人的青年科學基金項目。

基本介紹

• 中文名：基於邏輯的不一致需求管理方法
• 項目負責人：牟克典
• 項目類別：青年科學基金項目
• 依託單位：北京大學
• 批准號：60703061
• 申請代碼：F0203
• 負責人職稱：副教授
• 研究期限：2008-01-01 至 2010-12-31
• 支持經費：20（萬元）

項目摘要

有效的不一致軟體需求管理是提高軟體需求質量，改進需求獲取過程，從而增強軟體產品質量、控制軟體開發費用和進度的重要方法之一。不一致需求的檢測、分析、度量和處理是其中的核心研究問題。 本項目針對不一致需求管理，重點研究（1）適合需求形式化表示和不一致性檢測的超協調邏輯工具；（2）發展多方面多角度的不一致需求度量和分析方法；（3）建立對不一致需求處理方案的評估機制，研究自動選擇不一致需求處理方案的群體決策機制， 提供不一致需求的處理模型；（4）建立基於邏輯的需求測試方法，通過設計與系統的套用環境對應的概念性測試用例，將需求的完整性、正確性、一致性的檢測納入到需求測試的框架之中。