基于Petri网的测试路径生成方法研究

摘要：

随着软件规模的扩大和复杂度的增加,如何实现高效的软件测试,成为决定软件测试效率的关键.Petri网作为一种适合于描述异步并发现象的系统模型,具有系统描述及强大的行为分析功能.本文通过对Petri网、可达树特点的分析的基础上,提出一种基于Petri网的软件测试路径生成方法,并将该方法用于等边三角形判定程序测试路径生成中,能够有效的生成测试路径并提高了软件测试的效率.

关键词：Petri网、可达树、测试路径生成

所属期刊栏目：11

分类号：TP393(计算技术、计算机技术)

在线出版日期：2015-10-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：26-28