首页>
外国专利>
Systems and methods for automated test case expansion for coverage-based design models
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.
展开▼