System and method for coverage-based automated test case augmentation for design models

A non-transitory computer readable medium having stored thereon instructions which when executed by a control processor cause the control processor to perform a method for automated test case augmentation, the method comprising:

• receiving, at an automated test augmentation system, a design model and model coverage gap information from a model-based development tool, the model coverage gap information indicating test criteria not exercised by a high-level requirements-based test case;
• translating the coverage gaps into machine-readable mathematical test objective expressions;
• developing a set of test objective operators by translating the machine-readable mathematical test objective expressions;
• localizing target operators for the identified coverage gaps within the design model;
• attaching the test objective operators to target operators of the design model to create a test model;
• augmenting the test model by propagating test objectives at the target operators to a test node operator of the design model;
• and
• a test generator executing the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps.

A system for automated test case augmentation, the system comprising:

• a computer including a control processor, the control processor configured to execute program instruction;
• the automated test case augmentation system configured to receive a design model and model coverage gaps from a model-based development tool, the model coverage gaps indicating test criteria not exercised by a high-level requirements-based test case;
• a gap converter unit linked to the control processor, the gap converter unit configured to convert one or more of the model coverage gaps of the design model to machine-readable mathematical test objective expressions;
• a test generator unit linked to the control processor, the test generator unit configured to develop a set of test cases from the test objectives within a test model;
• the gap converter unit further configured to translate the machine-readable mathematical test objective expressions to test objective operators;
• the gap converter unit configured to create a test model by attaching the test objective operators to corresponding operators in the design model;
• the control processor configured to augment the test model by propagating test objectives at the target operators to a test node operator of the design model;
• and
• the control processor configured to execute the test generator on the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps.