针对软件中2路并发行为完全覆盖的测试方法

• 作者: 叶新铭 孙涛
• 来源期刊: 重庆邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 测试着色Petri网(ToCPN) 2路并发 外部观察点 测试序列
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 第五届云计算大会专题
• 页码范围: 727-736
• 页数: 10页
• 分类号: TP311
• 字数: 11886字
• 语种: 中文
• DOI: 10.3979/j.issn.1673-825X.2014.06.001

摘要

针对软件中2路并发行为的测试序列生成方法,提出一种基于面向测试着色Petri网(testing-oriented colored Petri net,ToCPN).根据被测软件系统需求构建ToCPN模型,即系统模型,并将待测行为采用着色Petri网(colored Petri net,CPN)进行描述,形成待测行为模型;提出待测行为模型到系统模型的状态投影算法、针对极大状态结点和极小状态结点的状态匹配算法及一系列路径搜索算法,基于以上算法构建出针对2路并发行为的测试序列生成方法.该方法针对待测行为自动生成测试序列,对待测行为所在的2路并发行为的全部执行组合实现完全覆盖且不存在任何冗余,一定程度上解决了软件测试中的状态爆炸问题.对上述算法的有效性提供了证明,并结合测试实践,分析说明了该方法具备明显强于随机漫步(random walk)等其他方法的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙涛	内蒙古大学计算机学院	10	25	3.0	5.0
2	叶新铭	内蒙古大学计算机学院	100	798	11.0	25.0