A SIMULATED MODEL OF SOFTWARE SPECIFICATIONS FOR AUTOMATING FUNCTIONAL TESTS DESIGN
Roy Awédikian, Bernard Yannou, P. Lebreton, L. Bouclier, Mounib Mekhilef · DS 48: Proceedings DESIGN 2008, the 10th International Design Conference, Dubrovnik, Croatia · 2008
Nowadays, it becomes crucial to carmakers and automotive electronics suppliers to ensure a high software quality. Although many methods have been proposed in software engineering, they are, most of the time, not adapted to embedded software. Since there is no unified format to specify a software in automotive industry, we propose through this paper a representation model for most of functional software specifications, that is able to simulate the expected input-output functions. This model is the core component of a global approach for automatically generating test cases for functional testing of the software. Indeed, a simulated specification model is the foundation of automating test generation.