基于Petri网的软件测试用例的产生及分析

摘要：

软件测试不仅要考虑到功能的正确性、覆盖的完整性,也应该考虑到测试用例的可行性.一种常用的产生测试用例的方法是路径覆盖,它是通过分析控制流来产生的,但是这样很可能产生不可行路径.论文运用Petri网来描述程序,并且按照一定的数学规则将此Petri网进行分解,得到独立的段组(Independent Segment Group,ISG)并产生测试用例,最后设计一个算法找到满足覆盖准则的最少测试用例.

关键词：Petri网、独立段组(ISG)、测试用例、可行性

所属期刊栏目：45

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

资助基金：国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2006AA012165

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

页数：共4页

页码：57-60