彭钊

摘要：需求的变更影响分析对于软件系统的正确实现有着重要的意义。当前的需求变更影响分析研究方法主要集中于需求间以及需求到代码间，缺乏需求到体系结构元素之间的研究方法。其次传统的需求变更影响分析方法，在变更维护过程中，体系结构工程师需要对于变更源相关的每个体系结构元素（Architectural elements，AE）都要做出分析，这很容易造成变更影响状态爆炸。本文基于一阶逻辑相关理论以及一阶逻辑在需求间变更影响分析的应用，提出一种基于变更场景的需求变更到体系结构元素的识别，并通过一个案例来分析该方法。

关键词：需求变更影响分析;一阶逻辑;变更场景体系结构元素

中图分类号：TP311 文献标识码：A 文章编号：1007-9416（2020）05-0197-03

0引言

据调查，软件系统开发的预算中有85%到90%被用于软件系统的管理和维护，而这其中有50%被用于软件系统的变更管理。Ebert等人在文献[2J和文献[3]中通过调查得到一个结论：一个周期为一年的软件开发项目，就会有多于40%的需求发生了变更。为了尽可能的减少软件开发成本，需要尽早在软件开发周期中对变更进行管理。需求变更影响分析主要分为需求问、需求到AE以及需求到代码的变更影响分析三类。传统的方法对需求到AE之间的研究比较少，且传统的方法很容易造成变更影响状态爆炸。

需求到AE的变更影响状态爆炸：由于缺乏需求到体系结构追踪关系的语义，需求变更分析会产生大量的有关受影响的体系结构元素的误报。……