Automatic generation of data coupling and control coupling test conditions
US10120785B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Oct 21, 2016 |
| Grant date | Nov 6, 2018 |
| Priority date | — |
| Expiry date | Oct 21, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3698
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
An automatic test generator (ATG) parses a computer-executable design model of operational software of an aircraft electronic device to identify design model data coupling and design model control coupling between functional modules of the design model. The ATG generates a plurality of test conditions configured to test whether the operational software of the aircraft electronic device satisfies the design model data coupling and the design model control coupling. A test procedure that implements the plurality of test conditions is generated. The test procedure is executed on the operational software of the aircraft electronic device. An indication of whether the operational software of the aircraft electronic device satisfies each respective one of the plurality of test conditions is output.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.