一句话：提出结合符号执行与数据库查询，为终端用户计算字段程序系统生成测试数据并验证。
本文关注终端用户编写的计算字段程序，其测试与验证常受限于真实数据依赖和复杂逻辑。作者提出一种从生产数据库系统化生成测试数据的方法，核心创新是将符号执行与数据库查询相结合：符号执行负责探索程序路径，数据库查询则用于补充其薄弱环节，特别是循环处理和超出 SMT 求解器能力的路径条件。论文讨论了该特定领域为符号执行带来的机会与挑战，并说明数据库查询如何帮助缓解这些弱点。评估方面，摘要未报告量化实验结果，主要贡献在于方法设计与领域经验总结。
This paper reports on an approach for systematically generating test data from production databases for end user calculated field program via a novel combination of symbolic execution and database queries. We also discuss the opportunities and challenges that this specific domain poses for symbolic execution and shows how database queries can help complement some of symbolic execution's weaknesses, namely in the treatment of loops and also of path conditions that exceed SMT solver capabilities.
@inproceedings{paperbot4651,
title = {Testing and validating end user programmed calculated fields},
author = {Víctor Braberman and Diego Garbervetsky and Javier Godoy and Sebastian Uchitel and Guido de Caso and Ignacio Perez and Santiago Perez},
booktitle = {FSE},
year = {2018},
doi = {10.1145/3236024.3275531}
}