Automatic Test Generation for Dynamic Data Structures
Automatic Test Generation for Dynamic Data Structures
复制标题
DOI：
10.1109/sera.2007.59
复制
发表时间：
2007-08
期刊：
影响因子：
--
通讯作者：
Ruilian Zhao;Qing Li
中科院分区：
文献类型：
--
作者：
Ruilian Zhao;Qing Li
目前，许多测试数据生成方法都是针对整数、实数据等基本数值类型。然而，在实际操作中，指针和动态数据结构被广泛使用，使得最新的测试数据生成方法在应用上受到限制。针对动态指针数据，提出了一种面向路径的测试数据生成方法。首先，创建输入结构中约束最少的形状，满足给定路径的指针约束；其次，确定所创建形状中数据字段的值；实验结果表明，该方法对动态指针数据的测试生成是有效和实用的。
Nowadays, many test data generation approaches are employed on basic numerical types such as integer and real data. However, in real practice, pointers and dynamic data structures are so widely used that most recent test data generation approaches are restricted in application. This paper proposes a path-oriented test data generation approach specifically for dynamic pointer data. Firstly, a least restrictive shape involved in input structure is created, which meets pointer constraints for a given path. Secondly, the value of data field in the created shape is determined. The experiment results show that our approach is effective and practicable in test generation for dynamic pointer data.