Korat: A Tool for Generating Structurally Complex Test Inputs
Korat: A Tool for Generating Structurally Complex Test Inputs
复制标题
DOI：
10.1109/icse.2007.48
复制
发表时间：
2007-05
期刊：
影响因子：
--
通讯作者：
Aleksandar Milicevic;Sasa Misailovic;D. Marinov;S. Khurshid
中科院分区：
文献类型：
--
作者：
Aleksandar Milicevic;Sasa Misailovic;D. Marinov;S. Khurshid
本文介绍了Korat工具的约束为基础的生成结构复杂的测试输入的Java程序。Korat需要：（1）指定所需结构完整性约束的命令式谓词和（2）限制所需测试输入大小的有限化。Korat生成谓词返回true的所有输入（在边界内）。为此，Korat对谓词的输入空间进行系统搜索。Korat生成的输入可以对从库类到独立应用程序的程序进行有界穷举测试。
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes: (1) an imperative predicate that specifies the desired structural integrity constraints and (2) a finitization that bounds the desired test input size. Korat generates all inputs (within the bounds) for which the predicate returns true. To do so, Korat performs a systematic search of the predicate's input space. The inputs that Korat generates enable bounded-exhaustive testing for programs ranging from library classes to stand-alone applications.