[发明专利]一种基于模型的软件测试方法

权利要求书

1.一种基于模型的软件测试方法，其特征在于，包括如下步骤：

S1.分析被测试软件，根据测试目的，确定测试对象和测试特征；

S2.选择和构造UML模型，该UML模型表述了需求所表述的所有可能行为；

S3.对UML模型进行验证，排查UML模型构造时可能出现的有界性、安全性、死锁和状态可达性，确保UML模型的正确性；

S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据充分性准则计算相关的覆盖率，完成对测试用例的评估；

S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；

S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。

2.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述充分性准则包括：

基于控制流的充分性准则：语句覆盖准则、条件覆盖准则和判断覆盖准则；

基于数据流的充分性准则：定义引用覆盖准则、上下文覆盖准则；

基于故障的充分性准则：弱变异覆盖准则、强变异覆盖准则。

3.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述覆盖率用来度量测试完整性和充分性，其包括：逻辑覆盖、函数覆盖以及功能覆盖，其中逻辑覆盖包括：语句覆盖、判定覆盖、条件覆盖以及路径覆盖。

4.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述S1中分析被测试软件包括：被测试软件是面向对象的开发技术或者是面向过程的开发技术、被测试软件所采用的开发语言、被测试软件开发的系统环境。

5.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述UML模型为机器可读的模型，用于对被测试软件进行描述、可视化处理、构造和建立软件系统的文档。

6.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述S3中，对UML模型进行有界性、安全性、死锁及状态可达性验证。

7.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述停止准则包括实际输出结果与测试用例的预期输出结果相同，程序所具有的功能与UML模型所具有的功能一致。

8.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述测试用例主要包括三部分：测试场景、测试输入数据和预期输出序列，测试用例的生成方法主要针对所述三部分相关信息的获取。

9.如权利要求1所述的一种基于模型的软件测试方法，其特征在于：所述测试脚本为可以被自动化测试工具执行的指令，所述测试脚本可以被创建，或使用测试自动化工具自动生成，或用编程语言编程来完成，或通过创建、用测试自动化工具自动生成及用编程语言编程共同完成。

10.如权利要求9所述的一种基于模型的软件测试方法，其特征在于：所述测试脚本包括以下功能：

a.驱动程序执行，包括编译程序执行和运行程序执行；

b.检测程序的执行过程；

c.向程序传递所需的输入，并得到程序的执行输出。