Abstract
In the field of avionics, most of the software systems are either safety critical or mission critical. These systems are developed with high quality standards strictly following the relevant guidelines and procedures. Due to the high criticality of the systems, it is mandatory that the verification and validation of these systems are done with utmost importance and only then any system is cleared for flight trials. The verification and validation activities need to be very exhaustive and hence take a considerable amount of time in the software development lifecycle. This paper describes about the innovative approach towards automation of Combinatorial Interaction Test case generation and execution for Requirements Based Testing of complex avionics systems for achieving test adequacy in a highly time efficient and cost efficient manner.
Highlights
Avionics systems are complex real time embedded systems with a very high criticality associated with them
In [13], the authors have discussed about the extent of statement/branch and MC/DC coverage and the Fault Detection Rate (FDR) that can be achieved by executing Combinatorial Interaction Testing (CIT) cases with strength varying from 2 to 5 on two subjects taken from Softwareartifact Infrastructure Repository (SIR)
From the new approach followed by us we have found that the advantages of CIT for Requirements Based Testing (RBT) are more compared to CIT with higher strength than needed
Summary
We have evolved a new approach of performing CIT for RBT for verification and validation of complex avionics systems involving interactions of varying strengths within the parameters of the functionalities. The required optimal strength for CIT of the FUT is derived from the requirements validated and elaborated instead of generating and executing CIT cases with higher strength than needed This approach which provides the benefits of both CIT and RBT involves the following activities: 1) Generation of expected output for each test case As the FUTs will be computation intensive involving number of parameters, for generating expected output for each set of inputs, reference models are developed. Because of complex nature of requirements and the typical constraints on values of input as well as intermediate and output parameters for the systems of this domain, for generation of test data, additional considerations are required as compared to systems of other domains This activity is automated by enhancing the reference models for the FUTs and integrating with covering array generation tool for CIT suite. Even the first time execution of test cases can be done automatically
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
