Symbolic Modelling in White-Box Model-Based Testing

This paper outlines the development of symbolic modelling in white-box testing technology within the scope of an insertion modelling system (IMS). It implements the symbolic execution of the tested system and generate traces that contain a scenario of system behaviour. The obtained traces were checked for conformance with either a formal model for system specifications or a design model. This technique provides for the possibility of obtaining a good index of code line coverage that is highly recommended in the testing of safety-critical systems.