一种基于着色ｐｅｔｒｉ网的软件并行测试方法及工具技术

本发明专利技术公布了一种基于着色ｐｅｔｒｉ网软件并行测试方法，本发明专利技术所述方法包括如下步骤：ａ）对软件测试任务集和资源集进行分析；ｂ）根据分析结果对其进行测试分类，确定是串行测试或并行测试；ｃ）生成串行任务序列或并行任务序列；ｄ）检验所建序列的正确性，若不正确，返回上一级；ｅ）序列真确，对其建立着色ｐｅｔｒｉ网模型；ｆ）对模型进行可达性分析和验证；ｇ）处理分析结果。采用本发明专利技术所提供的方法，简化了软件测试任务的复杂度，节约了测试时间，提高了测试效率。

【技术实现步骤摘要】

本专利技术涉及软件测试方法，特别地涉及一种基于着色petri网的软件并行测试方法。
技术介绍
目前在软件开发建模中，很少有模型语言既能够验证软件功能流程的正确性，又 能评价软件性能，而着色Petri网(简称CPN)可同时满足这两方面的要求。CPN是在基本 Petri网基础上提出的一种高级Petri网和层次Petri网，是一种可以对系统进行检验和仿 真的有色建模语言。它通过将相似组件或行为进行折叠的方式来表征一个具有若干相似部 件的大系统，从而解决了系统模型规模不可控制的问题。CPN除具有普通Petri网所具有 的可描述系统动态特性、表示系统竞争和冲突现象等优点外，还具有模型结构简单、可重用 性强等优点。CPN中颜色集的概念能够表示更为丰富的数据类型，从而降低模型的复杂度。 此外，CPN弥补了普通Petri网没有数据和分层分解的缺陷，对数据结构和层次分解进行了 很好的结合，应用CPN层次分解可以方便的表述复杂系统的层次和内部关系。面向对象的软件系统转换为并行面向对象的着色Petri网模型，最后利用谓语逻 辑语言Prolog自动产生基于规约的测试用例。RobertG. Pettit I本文档来自技高网...

【技术保护点】
一种基于着色ｐｅｔｒｉ网的软件并行测试方法，其特征在于，包括以下步骤：１．１）根据测试任务集和资源集，分析其为父任务，子任务，祖先任务，数据相关，资源相关或控制相关。１．２）依据分析结果，若其各自资源独立，并无相互依赖关系，测试任务对于各自的所占有的资源也相互独立，可把它归为串行测试，若测试任务和资源相互依从，互为父任务，子任务，祖先任务，并且数据相关，资源相关，控制相关，可把它归为并行测试。１．３）对于串行测试和并行测试建立各自所对应的ｐｅｔｒｉ网模型。１．４）对于各自的模型建立可达树。１．５）对于可达树模型进行可达性分析和验证。

【技术特征摘要】

【专利技术属性】
技术研发人员：刘久富，李金奎，王伟，娄坚波，陈奎，苏青婷，
申请(专利权)人：南京航空航天大学，
类型：发明
国别省市：84[中国|南京]