首页>
外国专利>
SYSTEM AND METHOD FOR COVERAGE-BASED AUTOMATED TEST CASE AUGMENTATION FOR DESIGN MODELS
SYSTEM AND METHOD FOR COVERAGE-BASED AUTOMATED TEST CASE AUGMENTATION FOR 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.
展开▼