Tehnički Vjesnik (Jan 2024)

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

  • Zhiyuan Li,
  • Mingju Yao

DOI
https://doi.org/10.17559/TV-20240126001293
Journal volume & issue
Vol. 31, no. 6
pp. 2014 – 2021

Abstract

Read online

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.

Keywords