摘要
随着软件规模的扩大和复杂度的增加,如何实现高效的软件测试,成为决定软件测试效率的关键。Petri网作为一种适合于描述异步并发现象的系统模型,具有系统描述及强大的行为分析功能。本文通过对Petri网、可达树特点的分析的基础上,提出一种基于Petri网的软件测试路径生成方法,并将该方法用于等边三角形判定程序测试路径生成中,能够有效的生成测试路径并提高了软件测试的效率。
With the expansion of software scale and complexity of software, how to achieve high efficiency of software testing is thekey to determine the efficiency of software testing. As a kind of system model which is suitable for describing asynchronous andconcurrent phenomena, Petri net has the function of system description and powerful behavior analysis. Based on Petri nets andreachability tree analysis,this paper proposed a software testing path generation method based on Petri net, and used the methodfor an equilateral triangle decision procedure test path generation, can effectively generate test paths and improve software test effi-ciency.
出处
《电脑知识与技术(过刊)》
2015年第7X期26-28,共3页
Computer Knowledge and Technology