Testing Embedded Software,
ADVISORY GROUP FOR AEROSPACE RESEARCH AND DEVELOPMENT NEUILLY-SUR-SEINE (FRAN CE)
Pagination or Media Count:
This paper describes the techniques used by Electronique Serge Dassault ESD for testing embedded software, including in particular the mission computer software operated in the MIRAGE F1 and MIRAGE 2000 aircraft. An introduction presents the main characteristics of embedded software which make testing this software an activity of paramount importance. The presentation of the MINERVE Methodologie Industrial pour 1Etude, la Realisation et la Validation de logiciel dEquipment Inudstrial Methodology for the Study, Production and Validation of Equipment Software, methodology used at ESD for developing software sets the scene for a more detailed description of each testing activity. The IDAS Informatisation de la Detection dAnomalies dans les Systemes System Anomaly Detection Computerization and SVR Software Validation Rack tools which support these activities are dealt with next. Some remarks are made on the evolution of testing techniques and a conclusion assesses the current situation and trends in software testing at ESD.
- Computer Programming and Software