Abstract:Simulink has gained widespread recognition as a valuable tool for system design. It supports efficient modeling and synthesis of embedded controllers. Test cases can also be automatically generated to simulate and verify the correctness of the Simulink model. Nevertheless, as systems grow increasingly complex, particularly in terms of their internal states, this complexity poses new challenges for existing model testing methodologies. Traditional techniques such as constraint solving and random search encounter difficulties when attempting to explore the intricate logic embedded within these models. In this paper, we introduce HSTCG, a state-aware test case generation method for Simulink models with heuristic strategy. HSTCG solves only one iteration of the model each time to get the test input that can cover a target branch, then executes the model once to obtain and update the new model state based on the solved input dynamically. Then, it solves the remaining branches based on the new model state iteratively until all the coverage requirements are satisfied. To improve the efficiency of test case generation, we also designed a heuristic strategy containing heuristic branch searching, repeated state filter and unreached branch filter to minimize the times of constraint solving. We implemented HSTCG and evaluated it on several benchmark Simulink models. Compared to the built-in Simulink Design Verifier and state-of-the-art academic work SimCoTest, HSTCG achieves an average improvement of 55% and 103% on Decision Coverage, 53% and 62% on Condition Coverage and 192% and 201% on Modified Condition Decision Coverage, respectively. We also validated the significant improvement of the heuristic strategy, which can improve the efficiency of test case generation by 62.2% on average.

A Test Case Design Method Based on Path Depth Coverage

Effective code coverage in compositional systematic dynamic testing

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams

A Test Path Generation Method Based on SSM Models

Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis

Extenics-based Test Case Generation for UML Activity Diagram.

An Evolutionary Generation Method of Test Data for Multiple Paths Based on Coverage Balance

Guided test generation for coverage criteria

Search-Based Software Test Data Generation for Path Coverage Based on a Feedback-Directed Mechanism

Path Coverage Metric Based on Critical Signals

Feedback-Directed Test Case Generation Based on UML Activity Diagrams

Method to Automatic Testcase Generation toward Safety Critical Scenarios of Cyber-physical Systems

An automatic coverage analysis for systemc using UML and aspect-oriented technology

Class Hierarchical Test Case Generation Algorithm Based on Expanded Emdpn Model

A New Approach of Automated Test Case Generation on Extended Finite State Machine

A New Pairwise Covering Test Data Generation Algorithm for the System with Many 2-Level Factors

Application of Test Method Based on State Transition Diagram in Flight Control Software.

A Path-Oriented Tool Supporting for Testing

HSTCG: State-Aware Simulink Model Test Case Generation with Heuristic Strategy

Automatic Test Case Generation for UML Activity Diagrams.