基于一阶逻辑的需求变更影响分析方法研究

摘要

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