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

权利要求书

1.一种用于自动化的测试用例增广的系统，所述系统包括：

包括控制处理器的计算机，所述控制处理器配置成运行程序指令；

链接到所述控制处理器的间隙转换器单元，所述间隙转换器单元配置成将设计模型的一个或多个模型覆盖间隙转换成数学测试目标表达式，其中所述模型覆盖间隙指示测试准则，所述测试准则未通过基于高级要求的测试用例来运用；

链接到所述控制处理器的测试生成器单元，所述测试生成器单元配置成从测试模型内的所述测试目标来开发一组测试用例；

所述间隙转换器单元还配置成将所述数学测试目标表达式转化成测试目标算子，并且通过将所述测试目标算子附连到所述设计模型中的对象算子来创建测试模型。

2.如权利要求1所述的系统，所述系统配置成从基于模型的开发工具来接收所述模型覆盖间隙。

3.如权利要求1所述的系统，所述测试目标定义一个或多个测试目的。

4.如权利要求1所述的系统，所述测试目标算子是能够附连到所述设计模型的测试目标算子。

5.如权利要求1所述的系统，所述系统包括用于存储测试目标、测试模型和覆盖间隙转换规则的数据存储。

6.如权利要求1所述的系统，所述控制处理器还配置成运行使所述控制处理器执行下列操作的程序指令：

通过将在所述对象算子的测试目标传播到所述设计模型的测试节点算子来增广所述测试模型；以及

对所增广的测试模型运行所述测试生成器来得到所述测试用例，以覆盖所述覆盖间隙和所述模型覆盖间隙的原因。

7.如权利要求6所述的系统，所述控制处理器还配置成运行程序指令，所述程序指令使所述控制处理器通过使用准则转换表来转化覆盖准则转化。

8.如权利要求7所述的系统，所述控制处理器还配置成运行程序指令，所述程序指令使所述控制处理器从基于模型的开发工具来得到所述准则转换表。

9.如权利要求6所述的系统，所述控制处理器还配置成运行使所述控制处理器执行下列操作的程序指令：

分类以及识别覆盖准则中的至少一个；以及

生成用于所述覆盖准则的一个或多个转换规则。