DocumentCode
1691724
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
fYear
2009
Firstpage
86
Lastpage
91
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/VALID.2009.8
Filename
5279942
Link To Document