[发明专利]网络功能的验证方法、开发系统、计算机设备及存储介质

权利要求书

1.一种网络功能的验证方法，其特征在于，包括以下步骤：

在包含独立计时的时间-路径约束机制的约束下，对待测试的网络功能中的执行路径进行测试，以得到相应执行路径的包含路径测试数据及其对应的时间测试数据的测试数据；

其中，所述测试数据用于对所述网络功能中受时间约束的执行路径进行验证。

2.根据权利要求1所述的网络功能的验证方法，其特征在于，所述时间-路径约束机制是通过执行配置在独立于所述执行路径的测试程序中的第一程序，和/或执行配置在所述执行路径的测试程序中的第二程序而形成的。

3.根据权利要求1所述的网络功能的验证方法，其特征在于，运行所述时间-路径约束机制时和在对所述执行路径进行测试时共享约束数据。

4.根据权利要求1所述的网络功能的验证方法，其特征在于，采用并行处理方式运行所述时间-路径约束机制的线程和测试所述执行路径的线程。

5.根据权利要求1所述的网络功能的验证方法，其特征在于，所述对待测试的网络功能的执行路径进行测试的步骤包括：

在所接收到的测试数据包时，运行所述时间-路径的约束机制；

在所述约束机制的限制下，根据对应不同执行路径的测试条件，将所述测试数据包转入相应执行路径以便进行传输处理。

6.根据权利要求1所述的网络功能的验证方法，其特征在于，所述对待测试的网络功能的执行路径进行测试的步骤包括：

运行所述时间-路径的约束机制；

在所述约束机制的限制下，根据对应不同执行路径的测试条件，将所接收到的测试数据包转入相应执行路径以便进行传输处理。

7.根据权利要求1所述的网络功能的验证方法，其特征在于，还包括：分析测试数据以对所述网络功能中相应执行路径进行验证的步骤包括以下至少一种：

分析路径测试数据及其时间测试数据之间的对应关系，以对所述网络功能中各执行路径进行验证；

依据时间测试数据和路径测试数据中的一种测试数据，统计时间测试数据和路径测试数据中的另一种测试数据，以对所述网络功能中各执行路径进行验证；以及

分析所述测试数据以筛选出所述网络功能中无效的执行路径。

8.根据权利要求1所述的网络功能的验证方法，其特征在于，所述时间-路径约束机制用于对执行路径提供以下至少一种时间上的约束：执行路径的有效状态的约束、和数据流量的约束。

9.根据权利要求1所述的网络功能的验证方法，其特征在于，所测试的网络功能中包含多条执行路径；所述对待测试的网络功能中的执行路径进行测试的步骤包括：对利用分支逻辑而构建的对应每一路径的执行路径进行测试，得到对应不同分支逻辑的测试数据。

10.根据权利要求1所述的网络功能的验证方法，其特征在于，利用符号执行引擎执行所述在包含独立计时的时间-路径约束机制的约束下对待测试的网络功能中的执行路径进行测试的步骤。

11.一种网络功能的开发系统，其特征在于，包括：

人机交互模块，包括编辑界面和包含测试选项的工具选择栏；其中，所述编辑界面用于供技术人员构建用于验证网络功能中各执行路径的测试代码；其中，所述测试代码中包含用于提供独立计时的代码；

验证模块，用于在检测到测试选项被触发时，将所述测试代码转换为测试程序；以及调用所述测试程序以执行如权利要求1-10中任一所述的验证方法。

12.根据权利要求11所述的网络功能的开发系统，其特征在于，还包括：代码库，用于提供至少一个代码；所述代码库中包含所述用于提供独立计时的代码。