[发明专利]一种基于状态转换图的测试路径生成方法

说明书

本发明提供了一种基于状态转换图的测试路径生成方法，该方法包括：判断是否需要覆盖状态转移对；在不需要覆盖状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；在需要覆盖状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集。本发明能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。

技术领域

本发明涉及软件测试技术领域，尤其涉及一种基于状态转换图的测试路径生成方法。

背景技术

飞行控制软件运行于弹载计算机上，主要完成对导弹的制导、姿态、时序等方面的控制，是弹载飞行控制系统的神经中枢。弹载飞行控制软件的安全性和可靠性要求很高，如果软件失效，可能造成灾难性的损失。作为实时嵌入式多任务调度管理软件，软件的规模大且运行环境复杂，同时具有任务间耦合性强、严格的时序控制和时间约束与随机事件驱动等特性。测试过程中通常对飞行任务状态进行状态建模形成状态转换图的方法，从而指导测试用例的生成。

目前工程中通常是测试人员根据自己的理解和经验导出测试路径，这种方式不但繁琐效率低下，同时还很难保证状态和路径的有效充分的覆盖。

发明内容

本发明提供了一种基于状态转换图的测试路径生成方法，能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。

根据本发明的一方面，提供了一种基于状态转换图的测试路径生成方法，该方法包括：

判断是否需要覆盖状态转换图中的状态转移对；

在不需要覆盖状态转换图中的状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；

生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；

确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；

在需要覆盖状态转换图中的状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；

确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集；

其中，所述状态转换图包括一个起始状态、至少一个中间状态和至少一个终止状态，起始状态和每一个中间状态均具有到达某一个终止状态的转移，所述状态转移对由任意两个或两个以上可转移的中间状态和可转移的中间状态之间的转移组成。

优选的，生成覆盖每一个中间状态的第一测试路径集包括：

S11、选取状态转换图中需要覆盖的中间状态S_a；

S12、获取从起始状态到达中间状态S_a的第一最短路径P_a′；

S13、获取从中间状态S_a到达终止状态的第二最短路径P_a″；

S14、基于第一最短路径P_a′和第二最短路径P_a″获取中间状态S_a的测试路径P_a；

S15、判断中间状态S_a的测试路径P_a与已有的中间状态测试路径是否重复，如果是，转至S16，否则，转至S17；