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.

STCG: State-Aware Test Case Generation for Simulink Models.

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

Reachability Resolution for Discrete‐time Hybrid Systems with Application to Automated Test Generation for Simulink/Stateflow

Verifying Simulink Stateflow Model: Timed Automata Approach

Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing

Using model checking to generate test cases for class testing

Code Generation Verification – Assessing Numerical Equivalence between Simulink Models and Generated Code

HCG: Optimizing Embedded Code Generation of Simulink with SIMD Instruction Synthesis

Constrained Stimulus Generation With Self-Adjusting Using Tabu Search With Memory

Guided test generation for coverage criteria

SCGen: A Versatile Generator Framework for Agile Design of Stochastic Circuits

PHCG: Optimizing Simulink Code Generation for Embedded System with SIMD Instructions

Leveraging Conditional Statement to Generate Acceptance Tests Automatically Via Traceable Sequence Generation

Cga: Combining Cluster Analysis With Genetic Algorithm For Regression Suite Reduction Of Microprocessors

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design

Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation

Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation

Comparative Analysis of Constraint Handling Techniques for Constrained Combinatorial Testing.

Genetic Algorithm Based Test Of Simulation System

PTSG: a test generation tool based on extended finite state machine

Symbolic state-space exploration meets statistical model checking