Generating input data structures for automated program testing
Generating input data structures for automated program testing
复制标题
DOI：
10.1002/stvr.388
复制
发表时间：
2009-03
期刊：
影响因子：
--
通讯作者：
I. Chung;J. Bieman
中科院分区：
文献类型：
--
作者：
I. Chung;J. Bieman
自动测试数据生成通常涉及识别导致所选路径执行的输入值。如果给定路径涉及指针，则输入值可以用二维动态数据结构（如列表或树）表示。因此，识别描述需要多少节点以及节点如何彼此连接的输入数据结构的形状非常重要。本文中提出的方法利用所选路径中每个语句的指向信息来生成形状。它还将每个语句转换为静态单赋值（SSA）形式，而无需指针解引用。SSA形式作为一个约束系统来解决，以产生非指针类型的输入值。经验评估表明，形状生成可以实现在线性时间的指针解引用操作的数量。版权所有© 2008约翰威利父子有限公司。
Automatic test data generation usually concerns identifying input values that cause a selected path to execute. If a given path involves pointers, then input values may be represented in terms of two‐dimensional dynamic data structures such as lists or trees. Thus, it is very important to identify the shape of the input data structure describing how many nodes are required and how nodes are connected each other. The approach presented in this paper makes use of the points‐to information for each statement in the selected path for the shape generation. It also converts each statement into a static single assignment (SSA) form without pointer dereferences. The SSA form serves as a system of constraints to be solved to yield input values for non‐pointer types. An empirical evaluation shows that shape generation can be achieved in linear time in terms of the number of pointer dereference operations. Copyright © 2008 John Wiley & Sons, Ltd.