用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

摘要

一种用于自动化的测试用例增广的方法，所述方法包括在自动化测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息，将模型覆盖间隙信息转化为机器可读数学测试目标表达式，通过转化机器可读数学测试目标表达式来开发一组测试目标算子，定位设计模型内的所识别的覆盖间隙的对象算子，将测试目标算子附连到设计模型的对象算子以创建测试模型，通过将在对象算子的测试目标传播到设计模型的测试节点算子来增广测试模型，以及由测试生成器来运行增广的测试模型以得到测试用例，来覆盖所述覆盖间隙和模型覆盖间隙的原因。还公开用于实现基于模型的设计的系统和非暂时计算机可读介质。