Model Based Test Framework for verification of Flight Control Software

Verification and Validation (V&V) of Safety Critical Software such as that of Flight Control Computer is an effort intensive and critical task. Accordingly standards like DO178C lay much importance on the V&V aspects of the airborne software. Generation of typical and relevant test vectors over short sequences of time, calculating the expected outputs on a frame-by-frame basis and thus confirming the behavior of the software are daunting tasks. This paper brings out a Model Based Test (MBT) Framework to accelerate the functional testing. The Framework leverages the fact that, key and functional aspects of flight control such as Control Laws including advanced features such as Auto pilot are modeled and validated through simulation studies before generating software requirements. The Framework provides GUI based utilities to generate test vectors involving several external inputs over time durations such as 10 seconds covering multiple requirements. Such vectors are converted in to frame-by-frame test matrix which is fed to both the model and the program under test. The outputs of the model and program are automatically compared and differences beyond threshold are flagged for examination. The Framework additionally generates structural coverage reports both at the model and code levels which are the means to figure out that not only 100% MC/DC for the code is achieved but also there are no missing requirements. These coverage reports provide confidence and certification credits.