摘要

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

全文