中文摘要：

本项目对不一致需求管理的逻辑理论和方法进行了比较系统地研究，提出了以需求形式化表示和推理为核心，以不一致需求度量为驱动，以协商机制为群体决策模型的不一致需求处理过程模型，同时，我们以不一致需求管理为中心，将需求冗余性、不完整性等管理纳入统一的逻辑框架中。 与相关研究相比， 我们更加注重不一致需求度量对不一致需求处理决策的重要作用，并且系统地提出了度量不一致性的更为直观、简洁的理论和方法，构建了相应的原型系统来支持该理论和方法在需求工程中的应用。针对带有局部优先级的多视点框架中的不一致需求，我们提出了基于带优先级的知识归并的不一致软件需求处理理论和方法。针对需求变更所引起的不一致性，我们提出了基于协商信念更新的需求变更管理模型，定义了相应的需求变更算子，来维护需求变更过程中的一致性。在消解不一致性的决策方面，我们选择协商为群体决策机制，提出了基于需求优先级的协商方案的产生算法和评估标准，构建了处理多视点需求矛盾的协商框架。最后，我们首次提出了基于答集程序的需求测试方法， 将不一致需求、冗余需求、不完整需求等非规范需求信息的管理纳入统一的逻辑框架， 为实现自动需求测试提供基础。