Model-based avionic systems testing for the airbus family

This paper is about practical verification of Airbus avionic systems during type certification, with special focus on automated testing. The material is based on test and verification services performed for Airbus by a spinoff company of the University of Bremen, as well as on consultancy services delivered by our research group to Airbus and its suppliers. In the context of model-based systems engineering, the test automation approach is currently shifting from manual test procedure programming to model-based testing (MBT), where test cases are automatically identified in models describing the application behavior, allowing for automated test data calculation and test procedure generation. We describe the situations where today's MBT technology is already adequate to increase the effectiveness of automated testing in industry. In addition, we describe some open challenges arising from practical avionic systems testing, where satisfactory solutions still require some research effort.

[1]  Martin Glinz,et al.  Using Dependency Charts to Improve Scenario-Based Testing , 2000 .

[2]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[3]  Jan Peleska,et al.  Industrial-Strength Model-Based Testing - State of the Art and Current Challenges , 2013, MBT.

[4]  Jan Peleska,et al.  Automated Test Case Generation with SMT-Solving and Abstract Interpretation , 2011, NASA Formal Methods.

[5]  Kim G. Larsen,et al.  Testing real-time embedded software using UPPAAL-TRON: an industrial case study , 2005, EMSOFT.

[6]  Jörg Brauer,et al.  Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools , 2012, ICTSS.

[7]  Jörg Brauer,et al.  Tool-Supported Structural Coverage Analysis for DO-178C Compliant Software , 2015 .

[8]  Robin Tommy,et al.  Test scenario modeling: Modeling test scenarios diagrammatically using specification based testing techniques , 2015, Proceedings of the 2015 Third International Conference on Computer, Communication, Control and Information Technology (C3IT).

[9]  Jörg Brauer,et al.  Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges , 2018, ISoLA.

[10]  Christel Baier,et al.  Principles of model checking , 2008 .

[11]  Yu Lei,et al.  Introduction to Combinatorial Testing , 2013 .

[12]  César Viho,et al.  Formal Test Automation: The Conference Protocol with TGV/TORX , 2000, TestCom.

[13]  Viktor Schuppan,et al.  Linear Encodings of Bounded LTL Model Checking , 2006, Log. Methods Comput. Sci..

[14]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[15]  Jan Peleska,et al.  A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain , 2011, ICTSS.

[16]  Jan Peleska,et al.  Industrial-Strength Model-Based Testing of Safety-Critical Systems , 2016, FM.

[17]  Jörg Brauer,et al.  Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler , 2015, SAFECOMP.