Testing Embedded Software,
Abstract
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 1'Etude, la Realisation et la Validation de logiciel d'Equipment (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 d'Anomalies 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1988
- Accession Number
- ADP005773
Entities
People
- Michel Muenier
Organizations
- AGARD