基于Petri网的软件测试用例生成方法

摘要：

软件测试数据的生成目前主要采用的人工、半人工的方法,工作量大、测试周期长且容易遗漏;基于Petri网的测试用例生成方法主要应用于场景类测试,通过Petri网理论对测试模型建模,再对模型分析验证,最后生成测试用例集;该方法支持回归生成测试用例集,弥补了对测试用例集需求变化的情况;同时,支持测试用例的自动生成;该方法可以有效地描述系统的状态行为,并且保证了较高的覆盖率指标,有助于提高测试的效率和质量.

关键词：测试用例、Petri网、场景、覆盖率

所属期刊栏目：18

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

资助基金：国家自然科学基金60674100

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

页数：共5页

页码：2019-2022,2025