中文摘要：

有效检测和处理不一致需求对提高软件需求质量，从而增强软件产品质量、节约开发成本等方面都具有重要意义。相关研究表明不一致需求处理并非是一个孤立的问题，而是和不完整需求、冗余需求、不确定或模糊需求等非规范需求的检测和处理密切相关。因此合理可行的不一致需求处理机制和方法必须考虑这些和不一致性密切相关的其他非规范需求。 本项目试图发展一种集成式的有问题的软件需求规约分析方法和处理机制，对不一致、不完整、不确定的需求等非规范需求进行统一表示、检测、分析和处理。项目主要研究内容包括（1）构建不一致、不完整、不确定需求等非规范软件需求的逻辑表示和检测工具；（2）发展度量非规范需求的理论和方法；（3）构建以非规范需求度量为驱动、以不一致需求管理为中心的非规范需求集成式管理过程模型及相关支撑工具原型系统；（4）发展以非规范软件需求管理为核心的需求测试方法；（5）建立基于非规范需求管理的需求变更管理框架。

结论摘要：

本项目对不一致、不完整和不确定的软件需求的集成式管理理论和方法进行了比较系统地研究，提出了可统一处理不一致需求、不完整需求和冗余需求等非规范软件需求的逻辑方法和框架，并系统地发展了非规范软件需求度量理论和方法。所取得的重要研究进展包括 1)构建了可统一处理不一致需求、不完整需求、冗余需求等非规范软件需求的逻辑框架， 并基此提出了以软件需求非规范性度量为核心、 以非规范需求识别、非规范需求度量、生成非规范需求处理备选方案、选择非规范需求处理方案以及修正非规范需求为主要环节的非规范软件需求处理过程模型。 2)首次将Halpern-Pearl因果模型引入需求不一致性度量领域， 建立了关于每条软件需求在导致需求集不一致性方面的责任的度量理论和方法。 3)对多视点（Viewpoints）软件需求获取框架下的软件需求不一致性度量问题进行了系统研究，提出了既考虑需求冲突程度（degree of inconsistency），又考虑冲突重要性(significance of inconsistency)的度量理论和方法，以及计算相应度量的算法。 4)提出了分层知识库(stratified knowledge base)中不一致性的度量理论和方法，并将其应用到带优先级的软件需求规约中不一致性的处理方面。 5)将非单调多上下文系统（Nonmonotonic Multi-context system）引入需求形式化表示和验证领域，提出了适合分布式需求工程领域的择优多上下文系统（Preferential multi-context system）。 6)提出了对由不一致性处理所导致的需求演化程度的度量方法。基于这些度量，我们刻画了三类特殊的需求演化方式来从不同角度指导不一致性处理 即基于最小变化的需求演化，基于最小重要性变化的需求演化和基于最大似然度的需求演化。 7)基于不一致软件需求管理的应用背景，提出了带约束的知识库中不一致性的度量理论和方法。