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

• 作者: 彭钊 杜天保
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 需求间变更影响分析 一阶逻辑 形式化语义 可追踪性
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 应用研究
• 页码范围: 55-61
• 页数: 7页
• 分类号: TP311
• 字数: 5242字
• 语种: 中文
• DOI: 10.19695/j.cnki.cn12-1369.2020.04.28

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭钊	南京航空航天大学计算机科学与技术学院	3	0	0.0	0.0
2	杜天保	南京航空航天大学计算机科学与技术学院	2	0	0.0	0.0