Title :
Using the Testability Analysis Methodology for the Validation of AIRBUS Systems
Author :
Doumbia, Fassely ; Laurent, Odile ; Robach, Chantal ; Delaunay, Michel
Author_Institution :
Syst. Design, Airbus France, Toulouse, France
Abstract :
The experiments, carried on AIRBUS systems, show that testability analysis can ease system formal detailed specifications validation activities. Indeed, testability information can highlight testing efforts, guide functional tests definition, facilitate detailed specification coverage analysis against system requirements, and support tests coverage analysis against formal detailed specification.
Keywords :
avionics; formal specification; testing; AIRBUS systems; formal detailed specifications; testability analysis; Aerospace control; Aerospace electronics; Automatic testing; Hardware; Information analysis; Life testing; Process design; Software testing; System analysis and design; System testing; coverage analysis; information flows; requirement; test; testability analysis; testing strategy;
Conference_Titel :
Advances in System Testing and Validation Lifecycle, 2009. VALID '09. First International Conference on
Conference_Location :
Porto
Print_ISBN :
978-1-4244-4862-3
Electronic_ISBN :
978-0-7695-3774-0
DOI :
10.1109/VALID.2009.8
