Requirement-Based Test Approach and Traceability for High-Integrity Airborne Embedded Systems

Abstract

One of the biggest challenges in the development of airborne embedded systems is to ensure that the aircraft subsystem meets all its user specifications and ascertain that no important functionality is missing which leads to development of an incorrect product. This chapter proposes a methodology for achieving requirement traceability and thereby performing requirement-based testing for efficient test and evaluation of aircraft subsystems. This methodology integrates requirement traceability throughout the software development life cycle along with requirement-based testing for high-integrity software systems. The methodology has been found to be most effective in revealing errors and optimizes testing by preventing repetition of test cases across test platforms. This unique contribution has the potential to revolutionize the research world in software engineering.