彭钊 杜天保

摘要：需求的变更影响分析过程无论是对于降低系统维护的代价或者是保证系统对变更需求正确的实现都有着至关重要的意义。已有的变更影响分析的研究主要存在两个方面的问题：一方面，当前的有关需求变更影响分析的研究主要侧重于需求到代码之间的变更影响分析，缺乏需求与需求之间的变更影响分析的研究。另一方面，传统的方法大多数是基于需求文档描述做研究，缺乏需求间关系的语义，在作变更影响分析时，会导致大量的变更影响误报，从而忽略了实际的变更影响。为了解决以上这些问题，本文提出了一种基于一阶逻辑的变更影响分析方法。设计一个只包含需求追踪关系信息实体的需求元模型，基于该模型设计一种变更分类方法，并基于一阶逻辑给出需求间关系以及每种变更类型的形式化语义，自动实现需求模型中变更的传播。并通过一个实验来说明本文方法的可行性。

关键词：需求间变更影响分析;一阶逻辑;形式化语义;可追踪性

中图分类号：TP311     文献标识码：A          文章编号：1007-9416（2020）04-0000-00

0  引言

据调查，软件系统开发的预算中有85%到90%被用于软件系统的管理和维护，而这其中有50%被用于软件系统的变更管理[1]。Ebert等人在文献[2]和文献[3]中通过调查得到一个结论：一个周期为一年的软件开发项目，就会有多于40%的需求发生了变更。为了尽可能的减少软件开发成本，需要尽早在软件开发周期中对变更进行管理。……