Using the Testability Analysis Methodology for the Validation of AIRBUS Systems
Fassely Doumbia, Odile Laurent, Chantal Robach, Michel Delaunay · 2009
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.