Automated test vector generation
AssigneeRosemount Aerospace Inc.
InventorsSimone Fulvio Rollini, Rob C. North
Life of this patent
Estimating the term…
Abstract
An algorithm and method for automatically generating test vectors for an LRU by deriving test vectors at the LRU boundary that, when simulated on the LRU, reproduce input and output of given test cases at the boundary of the individual requirements, and for knowing whether there are test cases that cannot be realised, i.e. test vectors cannot be derived at the LRU boundary to reproduce them at the boundary of individual requirements.
Claims10
A method for testing software for an aerospace application, the method comprising:
- translating an integrated model that includes individual requirement software models and hardware models, a test case sequence, and an initialization test vector sequence into a common formal language;
- deriving a stability property for each individual requirement and incorporating the derived stability properties into the translated integrated model;
- providing the translated initialization test vector sequence to the translated integrated model enriched with the derived stability properties to drive the translated integrated model to an initial state;
- generating a sequence of test vectors from the initial state;
- determining whether the test case sequence can be realized by simulating the sequence of test vectors on the translated integrated model to reproduce inputs and outputs of the test case sequence at a boundary of the each individual requirement;
- producing at least one of a test vector table comprising verified test vectors if the test case sequence can be realized or an unrealizability report if the test case sequence cannot be realized;
- and
- executing the verified test vectors on physical test equipment.
A testing method for an integrated model that includes individual requirement software models and hardware models, the method comprising:
- translating the integrated model, a test case sequence and an initialization test vector sequence into a common formal language;
- deriving a stability property for each individual requirement and incorporating the derived stability properties into the translated integrated model;
- providing the translated initialization test vector sequence to the translated integrated model enriched with the derived stability properties to drive the translated integrated model to an initial state;
- generating a sequence of test vectors from the initial state to realize the test case sequence;
- determining whether the test case sequence can be realized by simulating the sequence of test vectors on the translated integrated model to reproduce inputs and outputs of the test case sequence at a boundary of the each individual requirement;
- and
- providing an indication of whether the test case sequence can be realized.
Dependencies are inferred from the claim text.