代码/需求行为差异检测  

Behaviour differences detection between code and requirement

作　　者：刘智萍[1] 黄箐[2] 

机构地区：[1]江西科技学院信息工程学院,南昌330098 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机应用研究》2016年第7期2056-2062,共7页Application Research of Computers

基　　金：国家自然科学基金资助项目(91118003;61003071);深圳市战略性新兴产业发展专项资金资助项目(JCYJ20120616135936123);中央高校基本科研业务费专项资金资助项目(3101046;201121102020006)

摘　　要：为解决软件开发后期(维护/演化)程序代码与需求模型不一致的问题,面向逆向需求工程,重点研究检测变更代码与原始需求模型之间行为差异的算法:首先沿用模型/代码转换技术,分析模型/代码比较原理,设计比早期连续型单向串行检测算法快2N(N为路径数)倍的离散型双向并行检测算法;然后采用该算法开发图形化需求/代码比较工具RCCT,并将其集成进综合需求建模系统(RMTS),使动画建模、特性检测、模型转换、需求/代码差异检测等功能融为一体;最后通过电子转账案例演示该工具的使用方法,并编写测试程序证明离散型双向并行算法不但比原始算法高效,而且更加可靠。To make program code keep consistent with requirement model in the late stage of software development including maintenance or evolution, this paper oriented reverse requirement engineering and focused on the way to detect behavioral differences between changed code and original requirements model. Firstly, the algorithm continued to use the model/code transforming technology, analyzed model/code comparison principle, and designed the discrete two-way parallel detection algorithm which was 2N（ N was path number） times faster than the early continuous one-way serial detection algorithm. Then it developed a graphical requirement/code comparison tool （RCCT） which was integrated into the comprehensive requirement mod- el system （RMTS） which had many functions including animation modeling, feature detection, model transformation and the difference detection between requirement and code. Finally, it gave the electronic fund transfer case to demonstrate how to use this tool. Moreover, the test program is also written to prove that discrete two-way parallel algorithm is more efficient and reliable than the original algorithm.

关 键 词：逆向需求工程 需求代码比较 行为一致 抽象精化 双向并行 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]