DJPlus: Generating minimal test suites for strong coverage criteria in graph models

2026-09-08

AI Summary

为解决图模型中生成高效测试用例的问题，提出了一种名为DJPlus的新方法，该方法通过优化减少了测试步骤，同时满足了强覆盖标准。

Abstract

Automated test generation from graph models is essential to model-based testing. In this type of testing, graph coverage ensures test suite strength but also results in long test cases that take time to execute on the system under test. We propose a novel optimization-driven method, DJPlus, which generates reduced test suites while satisfying given graph-based test requirements. We implement DJPlus and show the feasibility of edge-pair criterion, a stronger coverage criterion than vertex or edge criteria, on four realistic systems, while prime path criterion poses scalability issues. Our evaluation reveals that the alternative methods generate 2 to 26 times more redundant test steps than DJPlus and DJPlus decreases test execution times by reducing the number of test steps. These results show that DJPlus is a positive step towards tackling the challenges of model-based testing at an industrial scale.

Problem

• Automated test generation
• Graph models
• Test suite strength
• Execution time
• Coverage criteria

Innovation

• optimization-driven method
• reduced test suites
• edge-pair criterion