TestLoop：一种描述“人在回路”（Human-in-the-Loop）软件测试套件生成的过程模型

《ACM Transactions on Software Engineering and Methodology》：TestLoop: A Process Model Describing Human-in-the-Loop Software Test Suite Generation

测试生成工具效率评估研究。通过分析28名工程师使用Jest、Hypothesis和NaNofuzz工具生成3个程序的168次测试套件生成过程，提出TestLoop模型包含7个标准化步骤，验证该模型能系统评估工具交互效率，为优化测试生成工具提供依据。

　　

摘要

软件工程师使用的测试工具种类繁多。例如，模糊测试工具（fuzzers）旨在检测程序崩溃和安全漏洞，而测试套件生成器（Test Suite Generators, TUGs）则可以创建覆盖范围广泛的测试套件。在研究领域，测试工具的性能主要通过识别出的错误数量或代码覆盖率等指标来评估。然而，获得这些指标的优异数值并不一定意味着这些工具能够帮助软件工程师高效地开发出有效的测试套件。为了了解测试套件的生成过程，我们对之前发表的一项用户研究进行了二次分析，该研究中28名专业软件工程师使用两种工具为三个程序分别生成了测试套件。从这168条记录中（