SUSHI: A Test Generator for Programs with Complex Structured Inputs
SUSHI: A Test Generator for Programs with Complex Structured Inputs
复制标题
SUSHI：具有复杂结构化输入的程序的测试生成器
DOI：
10.1145/3183440.3183472
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
M. Pezzè
中科院分区：
文献类型：
--
作者：
Pietro Braione;G. Denaro;Andrea Mattavelli;M. Pezzè
基于程序API的随机和搜索测试发电机产生现实的测试用例，但通常会错过依赖非平凡数据结构实例的结构测试目标；符号执行可以精确地表征这些依赖性，但没有计算方法序列来实例化。我们提出了寿司，这是一种用于具有复杂结构化输入的程序的高覆盖测试案例生成器。寿司利用符号执行来生成路径条件，这些路径条件准确地描述了程序路径和输入数据结构之间的关系，并将路径条件转换为基于搜索的测试生成问题的适应性功能。搜索问题的解决方案是一个法律方法序列，该序列可以实例化结构化输入以行使路径条件确定的程序路径。我们的实验表明，寿司可以独特地补充当前自动测试生成工具。
Random and search-based test generators yield realistic test cases based on program APIs, but often miss structural test objectives that depend on non-trivial data structure instances; Whereas symbolic execution can precisely characterise those dependencies but does not compute method sequences to instantiate them. We present SUSHI, a high-coverage test case generator for programs with complex structured inputs. SUSHI leverages symbolic execution to generate path conditions that precisely describe the relationship between program paths and input data structures, and converts the path conditions into the fitness functions of search-based test generation problems. A solution for the search problem is a legal method sequence that instantiates the structured inputs to exercise the program paths identified by the path condition. Our experiments indicate that SUSHI can distinctively complement current automatic test generation tools.
将符号执行和基于搜索的测试相结合，对具有复杂堆输入的程序进行测试
DOI：
10.1145/3092703.3092715
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Braione P
通讯作者：
Braione P