Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation
Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation
复制标题
多标准测试用例生成的增量控制依赖性前沿探索
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
P. Tonella
中科院分区：
文献类型：
--
作者：
Annibale Panichella;Fitsum Meshesha Kifetew;P. Tonella
多年来，已经提出了几个标准来衡量测试套件的充分性。每个标准都可以转换为一个特定的目标函数，以优化与搜索为基础的技术，试图生成测试套件，实现最高的可能覆盖率的标准。最近的工作试图通过构建作为各个标准的目标函数的加权和获得的单个目标函数来同时优化多个标准。然而，该解决方案遭受总和标量化的问题，即，当这些维度被投影到单个值中时，沿着被优化的各个维度的差异沿着丢失。SBST的最新进展将覆盖率制定为多目标优化问题，而不是应用总和标量化。从这个配方开始，在这项工作中，我们应用多目标测试生成，同时处理多个充分性标准。为了将该方法扩展到同时要优化的大量目标，我们采用了增量策略，其中仅考虑控制依赖边界中的覆盖目标，直到通过覆盖先前未覆盖的目标来扩展边界。
Several criteria have been proposed over the years for measuring test suite adequacy. Each criterion can be converted into a specific objective function to optimize with search-based techniques in an attempt to generate test suites achieving the highest possible coverage for that criterion. Recent work has tried to optimize for multiple-criteria at once by constructing a single objective function obtained as a weighted sum of the objective functions of the respective criteria. However, this solution suffers the problem of sum scalarization, i.e., differences along the various dimensions being optimized get lost when such dimensions are projected into a single value. Recent advances in SBST formulated coverage as a many-objective optimization problem rather than applying sum scalarization. Starting from this formulation, in this work, we apply many-objective test generation that handles multiple adequacy criteria simultaneously. To scale the approach to the big number of objectives to be optimized at the same time, we adopt an incremental strategy, where only coverage targets in the control dependency frontier are considered until the frontier is expanded by covering a previously uncovered target.