Accession Number : ADP005773

Title :   Testing Embedded Software,

Corporate Author : ADVISORY GROUP FOR AEROSPACE RESEARCH AND DEVELOPMENT NEUILLY-SUR-SEINE (FRAN CE)

Personal Author(s) : Muenier, Michel

Report Date : JUN 1988

Pagination or Media Count : 11

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.

Descriptors :   *COMPUTER PROGRAMS, *TEST METHODS, VALIDATION, EMBEDDING, JET FIGHTERS, AVIONICS, DIGITAL COMPUTERS, ANOMALIES, DETECTION, FRANCE.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE