17. The system of claim 12 , the control processor further configured to execute program instructions that cause the control processor to translate coverage criteria translation by using a criteria conversion table.
12. 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.