一句话：回顾基于模型检测与符号执行、在 Java PathFinder 中实现并面向复杂数据与前置条件的测试输入生成技术。
该文回顾 ISSTA 2004 论文 Test Input Generation With Java PathFinder，该文获 ISSTA 2018 回顾影响论文奖。原论文关注操作复杂数据的代码的自动化测试输入生成：这类代码常含复杂方法前置条件，传统方法难以高效生成高覆盖率测试。方法上，它结合黑盒与白盒测试技术，基于模型检测和符号执行，并在 Java PathFinder 分析工具中实现，以自动探索程序路径并构造满足前置条件的输入。论文还评估了这些技术生成高覆盖测试的效果，本次报告讨论其历史影响与后续发展。
The paper Test Input Generation With Java PathFinder was published in the International Symposium on Software Testing and Analysis (ISSTA) 2004 Proceedings, and has now been selected to receive the ISSTA 2018 Retrospective Impact Paper Award. The paper described black-box and white-box techniques for the automated testing of software systems. These techniques were based on model checking and symbolic execution and incorporated in the Java PathFinder analysis tool. The main contribution of the paper was to describe how to perform efficient test input generation for code manipulating complex data that takes into account complex method preconditions and evaluate the techniques for generating high coverage tests.
DOI 原文 ·
@inproceedings{paperbot4808,
title = {Test input generation with Java PathFinder: then and now (invited talk abstract)},
author = {Sarfraz Khurshid and Corina S. Păsăreanu and Willem Visser},
booktitle = {ISSTA},
year = {2018},
doi = {10.1145/3213846.3234687}
}