[发明专利]用于设计模型的基于覆盖的自动化的测试用例增广的系统和方法

摘要

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

主权项

一种用于自动化的测试用例增广的系统，所述系统包括：包括控制处理器的计算机，所述控制处理器配置成运行程序指令；链接到所述控制处理器的间隙转换器单元，所述间隙转换器单元配置成将设计模型的一个或多个模型覆盖间隙转换成数学测试目标表达式；链接到所述控制处理器的测试生成器单元，所述测试生成器单元配置成从测试模型内的所述测试目标来开发一组测试用例；所述间隙转换器单元还配置成将所述数学测试目标表达式转化成测试目标算子，并且通过将所述测试目标算子附连到所述设计模型中的对应算子来创建测试模型。