Systems and methods for automated test case expansion for coverage-based design models

摘要

A method for automated test case augmentation includes receiving, at an automated test augmentation system 100, a design model 130 and model coverage gap 135 information from a model-based development tool, translating the model coverage gap information into machine-readable mathematical test objective 152 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 executing, by a test generator 160, the augmented test model to obtain the test cases to cover the coverage gaps and the causes for the model coverage gaps. A system 100 for implementing the model-based design and a non-transitory computer readable medium are also disclosed.