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

• 作者: 丁佐华 林红昌 胡觉亮
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Petri网 独立段组(ISG) 测试用例 可行性
• 年，卷（期）: 2009,（17）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 57-60
• 页数: 4页
• 分类号: TP311
• 字数: 3855字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.17.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡觉亮	浙江理工大学数学计算与软件工程中心	81	456	12.0	17.0
2	丁佐华	浙江理工大学数学计算与软件工程中心	26	71	6.0	7.0
3	林红昌	浙江理工大学数学计算与软件工程中心	3	13	2.0	3.0