摘要
需求的变更影响分析对于软件系统的正确实现有着重要的意义。当前的需求变更影响分析研究方法主要集中于需求间以及需求到代码间,缺乏需求到体系结构元素之间的研究方法。其次传统的需求变更影响分析方法,在变更维护过程中,体系结构工程师需要对于变更源相关的每个体系结构元素(Architectural elements,AE)都要做出分析,这很容易造成变更影响状态爆炸。本文基于一阶逻辑相关理论以及一阶逻辑在需求间变更影响分析的应用,提出一种基于变更场景的需求变更到体系结构元素的识别,并通过一个案例来分析该方法。
Change impact analysis is an important activity in software for properly implementing a set of requested changes.On one hand,current approaches mainly focuses on change impact analysis between requirements and codes and within requirements,there is a lack of research about change impact analysis between R&A.On the other hand,architect engineers may have to analyze all requirements in requirements document and all elements in atchitecture model for a single requirement change,this may cause the explosion impacts.This paper propses a approach based on first order logic(FOL).The method can be used to identify the impacted AE.We use a case to analyze the approach.
作者
彭钊
PENG Zhao(College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing Jiangsu 211100)
出处
《数字技术与应用》
2020年第5期197-199,共3页
Digital Technology & Application