[发明专利]一种基于着色petri网的软件并行测试方法及工具

权利要求书

1.一种基于着色petri网的软件并行测试方法，其特征在于，包括以下步骤：

1.1)根据测试任务集和资源集，分析其为父任务，子任务，祖先任务，数据相关，资源相关或控制相关。

1.2)依据分析结果，若其各自资源独立，并无相互依赖关系，测试任务对于各自的所占有的资源也相互独立，可把它归为串行测试，若测试任务和资源相互依从，互为父任务，子任务，祖先任务，并且数据相关，资源相关，控制相关，可把它归为并行测试。

1.3)对于串行测试和并行测试建立各自所对应的petri网模型。

1.4)对于各自的模型建立可达树。

1.5)对于可达树模型进行可达性分析和验证。

2.本发明根据根据测试任务集和资源集之间的关系，其特征是对软件测试对象进行分析归类，其分析方法所述1.1)。属于串行调度的建立串行测试序列集，属于并行的我们依据并行调度算法建立并行测试序列集。这种软件测试方法可以在相同时间内测试多个软件对象，提高了测试效率，对贵重设备的共享来节约测试成本。

3.本发明对于软件并行测试建立起了着色petri网模型，其方法所述1.2)。其特征是根据着色petri网的可达性方法对其进行分析和验证，其分析验证所述1.3)。解决了软件并行测试执行覆盖率问题。