基于内存建模的复杂结构类型测试数据自动生成方法  

Automatic Test Data Generation Method for Complex Structure Based on Memory Modeling

作　　者：李飞宇[1] 宫云战[1] 王雅文[1] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室

出　　处：《计算机辅助设计与图形学学报》2012年第2期262-270,共9页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金(91018002);国家"八六三"高技术研究发展计划(2009AA012404)

摘　　要：针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性.Aiming at automatic test data generation for complex structure such as list,tree and map,this paper presents a path-oriented test data generation method based on memory modeling.An Abstract memory model which models structure variables and numerical variables separately is introduced to assist symbolic execution of the tested path.On symbolic execution of the path,the semantic operation of the statement is mapped to the operation of Abstract memory,in this process the alias problem caused by pointers is solved,and the constraints of the path are recorded exactly in the Abstract memory.Finally,test data is generated by constraint solving.The proposed method has been implemented in a self-developed automatic unit test tool called UATS.Experimental results prove that the method is feasible.

关 键 词：路径测试数据生成 复杂结构类型 别名 符号执行 内存建模 

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