[发明专利]一种基于VRM模型的测试用例生成方法

说明书

本发明公开了一种基于VRM模型的测试用例生成方法，包括：对VRM模型进行预处理，根据内容类型做进一步的划分，从划分得到的内容中提取得到对应的测试信息；针对每个内容类型，从提取得到的测试信息中提取出约束路径和与之对应的计算赋值语句；根据约束路径，进行错误类型分析；分别根据路径错误与计算错误这两种错误类型提取出对应的测试用例。本发明能够从需求模型出发生成测试用例，有效的弥补了航空电子领域对软件的测试无法满足需求的缺陷。

技术领域

本发明涉及基于模型的软件测试技术领域，具体而言涉及一种基于VRM模型的测试用例生成方法。

背景技术

航空电子系统是典型的以软件为核心的安全关键系统。据统计，现代民用飞机和军用飞机80％以上的航空电子系统功能通常是通过各种航空电子软件实现的，编码规模和软件复杂度都在迅速增加。因此，现代航空电子软件的开发是一个耗时的过程，需要大量的人力和物力。在此类软件项目的研发中，软件验证和软件测试(VV)工作占软件开发资源的50％-70％左右。常用的软件验证技术包括各种软件分析、审查和测试技术。相对而言，软件测试技术仍是航空电子领域广泛应用的一种低成本的软件验证技术。但是目前工业界在对航电软件进行测试时，大都从代码出发生成测试用例集，无法从根本上满足对软件需求的测试要求。近年来，基于模型的测试技术逐渐普和应用，国内外研究者也利用模型的精确描述能力和严格的推理过程建立起软件需求测试与代码之间的联系，使计算机能够自动完成传统测试流程中对需求进行测试的测试部分。然而目前工业界的软测试方法仍然存在不能够充分验证程序实现是否涵盖了需求的技术问题。

发明内容

本发明针对现有技术中的不足，提供一种基于VRM模型的测试用例生成方法，通过从需求模型出发生成测试用例，有效的弥补了航空电子领域对软件的测试无法满足需求的缺陷。

为实现上述目的，本发明采用以下技术方案：

一种基于VRM模型的测试用例生成方法，所述测试用例生成方法包括以下步骤：

s1，对VRM模型进行预处理，根据内容类型做进一步的划分，从划分得到的内容中提取得到对应的测试信息；

S2，针对每个内容类型，从提取得到的测试信息中提取出约束路径和与之对应的计算赋值语句；其中，约束路径由输入变量的一组条件表达式组成，计算赋值语句是定义在约束路径上的输出变量的赋值语句；

S3，根据约束路径，进行错误类型分析，错误类型包括路径错误与计算错误两种；所述路径错误用于检测给出的程序对于域的划分是否正确，所述计算错误用于在域正确的情形下，为每个正确分配的域检测是否对对应的域给出了正确的赋值计算语句；

S4，分别根据路径错误与计算错误这两种错误类型提取出对应的测试用例，所述测试用例用于检测程序对应的输入/输出与需求模型中的输入输出是否一致，程序能够将输入空间的详尽分区建立到互斥的域中，每个域对应一个执行路径，并且为每个域指定一组构成当前域的计算赋值语句。

为优化上述技术方案，采取的具体措施还包括：

进一步地，步骤S1中，所述内容类型包括模型原子表达式、模型候选路径、模型赋值语句、约束路径和域中的几种或者全部；其中：

所述模型原子表达式是表格函数中对输入变量进行约束的不可再分割的逻辑表达式，用小写字母me表示，所有模型原子表达式组成的集合用大写字母ME表示，即：ME＝{me₁，me₂，...，me_m}；

模型候选路径是所有模型原子表达式的逻辑组合，用大写字母CP表示；

模型赋值语句是表格函数在某条候选路径下的具体取值或者是一条表达式，用小写字母f表示；所有的模型赋值语句构成输出变量的值域，用符号表示为O＝f(I)；