Optimized Test Case Design for Automotive Safety Driving Virtual Training System Using Formal Activity Diagrams

In order to better test the virtual training system for automotive safety driving, ensuring that the system can efficiently and comprehensively cover all application scenarios, this paper defines the syntax and semantics of formal graphical symbols for testing.Based on this, a method for designing test cases for the virtual training system for automotive safety driving using formal activity diagrams is proposed.The example demonstrates that after using this method for test case design, the designed test cases can efficiently test all necessary application scenarios and eliminate invalid scenarios.This method effectively addresses the issues of strong randomness and low testing efficiency in system testing.