论文标题
鳄梨：用于实际应用的开源柔性约束交互测试
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
论文作者
论文摘要
本文介绍了学术界与行业之间的研究合作的结果，以实施和利用用于工业规模应用开源工具的约束交互测试的功能。该项目有助于促进灵活性，以生成约束的交互测试套件，执行它们并设置测试甲骨文来报告它们 - 所有这些都在称为鳄梨的同一工具中。鳄梨采用具有计算算法的约束求解器来生成约束的相互作用测试套件。可以设置正在测试的应用程序的环境以最少的精力执行生成的测试套件。该工具可以设置测试Oracle，以报告已执行的测试用例的状态和结果。鳄梨代表了进行组合交互测试（CIT）的全面且灵活的解决方案，并在工业应用上限制了CIT。在本文中，我们介绍了该工具的结构以及详细实施算法的方法。
This paper presents the outcome of a research collaboration between academia and industry to implement and utilize the capabilities of constrained interaction testing for an open-source tool for industrial-scale application. The project helps promote flexibility in generating constrained interaction test suites, executing them, and setting up a test oracle to report them--all within the same tool called Avocado. Avocado employs a constraint solver with computational algorithms to generate constrained interaction test suites. The environment of the application under test can be set up to execute the generated test suite with minimum effort. A test oracle can be set up by the tool to report the status and the results of the executed test cases. Avocado represents a comprehensive and flexible solution for conducting combinatorial interaction testing (CIT) and constrained CIT on an industrial application. In this paper, we present the structure of the tool and our method of implementing the algorithms in detail.
