A SIMULATED MODEL OF SOFTWARE SPECIFICATIONS FOR AUTOMATING FUNCTIONAL TESTS DESIGN
Editor: Marjanovic D., Storga M., Pavkovic N., Bojcetic N.
Author: Awedikian, R.; Yannou, B.; Lebreton, P.; Bouclier, L.; Mekhilef, M.
Section: Geometrical modelling and tolerancing
Page(s): 561 - 570
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.