Automatic generation of data coupling and control coupling test conditions

A system comprising:

• an aircraft electronic device;
• a computing device comprising at least one processor and computer-readable memory encoded with instructions that, when executed by the at least one processor, cause the computing device to execute an automatic test generator (ATG) configured to:
• parsing a model file including syntactical notations describing a computer-executable design model of operational software of the aircraft electronic device to identify one or more design model control coupling data, corresponding to calls between functional modules of the design model using the syntactical representation of interdependence of the functional modules of the design model and to identify one or more design model data coupling, comprising data exchanged between each of the functional models of the design model;
• automatically generating a plurality of test conditions, wherein for each of the identified one or more design model control coupling data and identified one or more design model data coupling, a respective test condition is generated to test whether the operational software of the aircraft electronic device satisfies the design model data coupling or the design model control coupling identified;
• generating a test procedure that implements the plurality of test conditions;
• and
• a test device in communication with the aircraft electronic device and the computing device, the test device configured to:
• execute the test procedure on the operational software of the aircraft electronic device;
• wherein executing the test procedure on the operational software of the aircraft electronic device comprises:
• halting, for each of the plurality of test conditions, execution of the operational software;
• determining, while the execution of the operational software is halted, whether the operational software satisfies the respective test condition;
• resuming execution of the operational software after determining whether the operational software satisfies the respective test condition;
• and
• outputting, for each of the plurality of test conditions, an indication of whether the operational software of the electronic device satisfies the respective test condition.

A non-transitory computer-readable memory encoded with instructions that cause the system to execute an automatic test generator (ATG) configured to perform the steps of:

• parsing a model file including syntactical notations describing a computer-executable design model of operational software of the aircraft electronic device to identify one or more design model control coupling data, corresponding to calls between functional modules of the design model using the syntactical representation of interdependence of the functional modules of the design model and to identify one or more design model data coupling, comprising data exchanged between each of the functional models of the design model;
• automatically generating a plurality of test conditions, wherein for each of the identified one or more design model control coupling data and identified one or more design model data coupling, a respective test condition is generated to test whether the operational software of the aircraft electronic device satisfies the design model data coupling or the design model control coupling identified;
• generating a test procedure that implements the plurality of test conditions;
• and
• execute the test procedure on the operational software of the aircraft electronic device;
• wherein executing the test procedure on the operational software of the aircraft electronic device comprises:
• halting, for each of the plurality of test conditions, execution of the operational software;
• determining, while the execution of the operational software is halted, whether the operational software satisfies the respective test condition;
• resuming execution of the operational software after determining whether the operational software satisfies the respective test condition;
• and
• outputting, for each of the plurality of test conditions, an indication of whether the operational software of the electronic device satisfies the respective test condition.