论文信息 - Using the Testability Analysis Methodology for the Validation of AIRBUS Systems

Using the Testability Analysis Methodology for the Validation of AIRBUS Systems

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.

Chantal Robach | Michel Delaunay | Odile Laurent | Fassely Doumbia

[1] Chantal Robach. Test et testabilité de systèmes informatiques , 1979 .

[2] J. Voas,et al. Software Testability: The New Verification , 1995, IEEE Softw..

[3] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[4] Yves Le Traon,et al. Testability measurements for data flow designs , 1997, Proceedings Fourth International Software Metrics Symposium.

[5] Roy S. Freedman,et al. Testability of Software Components , 1991, IEEE Trans. Software Eng..

[6] Chantal Robach,et al. Integrating testability into the development process of reactive systems , 2007 .

[7] C. Robach,et al. Linking design and test tools: an implementation , 1989 .

[8] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[9] Brian A. Nejmeh,et al. NPATH: a measure of execution path complexity and its applications , 1988, CACM.