代码/需求行为差异检测

• 作者: 刘智萍 黄箐
• 来源期刊: 计算机应用研究
• 关键词: 逆向需求工程 需求代码比较 行为一致 抽象精化 双向并行
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2056-2062
• 页数: 7页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.07.030

摘要

为解决软件开发后期(维护/演化)程序代码与需求模型不一致的问题,面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法:首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N(N为路径数)倍的离散型双向并行检测算法;然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统(RMTS),使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体;最后通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘智萍	江西科技学院信息工程学院	17	21	3.0	3.0
2	黄箐	武汉大学计算机学院	2	4	2.0	2.0