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

作     者：李飞宇 宫云战 王雅文 Li Feiyu;Gong Yunzhan;Wang Yawen

作者机构：北京邮电大学网络与交换技术国家重点实验室 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2012年第24卷第2期

页      面：262-270页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

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

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

摘      要：针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性.