Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
To eliminate the prohibitive execution overhead of strong graph-based test criteria in model-based testing, the authors developed DJPlus, an optimization-driven algorithm that generates minimal test suites under specified graph coverage requirements. While rigorous criteria like edge-pair coverage provide stronger verification guarantees than simple vertex or edge coverage, they typically suffer from combinatorial path explosion during execution. Evaluated across four realistic systems, DJPlus proves edge-pair criterion is scalable in practice, slashing redundant test steps by 2x to 26x compared to existing baselines and significantly reducing execution runtimes.
Strong graph coverage doesn't require prohibitive test runtimes: edge-pair coverage is viable on realistic systems once you strip out the 2x to 26x redundant test steps generated by standard methods.
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.