A SIMULATED MODEL OF SOFTWARE SPECIFICATIONS FOR AUTOMATING FUNCTIONAL TESTS DESIGN
DS 48: Proceedings DESIGN 2008, the 10th International Design Conference, Dubrovnik, Croatia
Year: 2008
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
Abstract
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.
Keywords: verification and validation, functional simulation, software specification, model based testing, software testing