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. https://thebrickes.shop/product-category/sofa/