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

说明书

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

技术领域

本公开涉及一种用于自动化的测试用例增广（augmentation）的方法。

背景技术

可用的基于模型的开发工具能够显示某些模型元素的不可达性。一些工具能够生成测试输入，其满足准则（criteria）覆盖目标以及用户定义的测试目标和要求。这些测试输入也能够与使用测量的数据所定义的测试相组合，使得模拟相对于模型覆盖、要求和现实世界情形进行测试。

但是，一些重要覆盖准则(例如掩蔽修改的条件/判定覆盖(MC/DC))没有受到可用的基于模型的开发工具所支持，以及生成冗余测试用例以满足某些覆盖准则。此外，一些常规开发工具没有提供增广测试用例以满足覆盖准则的能力。

软件认证准则(例如DO-178C)要求安全关键软件（例如航空软件）采用严格测试覆盖(包括MC/DC)来测试。这些准则能够要求测试可能单独影响判定的各条件。人工检查模型/代码以识别将内部变量驱动到特定值的输入序列是困难并且费时的，特别是当航空软件系统较大和复杂时。

本发明提供了如下技术方案：

提供了技术方案1：

一种用于自动化的测试用例增广的方法，所述方法包括：

在自动化的测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息；

将所述模型覆盖间隙信息转化为机器可读数学测试目标表达式；

通过转化所述机器可读数学测试目标表达式来开发一组测试目标算子；

定位所述设计模型内的所述所识别的覆盖间隙的对象算子；

将所述测试目标算子附连到所述设计模型的对象算子，以创建测试模型；

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

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

提供了技术方案2：如技术方案1所述的方法，所述覆盖准则转化包括使用准则转换表。

提供了技术方案3：如技术方案2所述的方法，包括从所述基于模型的开发工具来得到所述准则转换表。

提供了技术方案4：如技术方案1所述的方法，包括分类以及识别所述覆盖准则至少之一。

提供了技术方案5：如技术方案4所述的方法，包括生成所述覆盖准则的一个或多个转换规则。

提供了技术方案6：如技术方案1所述的方法，包括生成更新的设计模型参数，所述设计模型参数使关联的覆盖间隙由测试用例可达。

提供了技术方案7：一种非暂时计算机可读介质，具有指令存储在其上，所述指令在由控制处理器运行时使所述控制处理器执行用于自动化的测试用例增广的方法，所述方法包括：

在自动化的测试增广系统从基于模型的开发工具来接收设计模型和模型覆盖间隙信息；

将所述覆盖间隙转化为机器可读数学测试目标表达式；