基于 Petri 网的图形用户界面测试

• 作者: 林涛 高建华
• 来源期刊: 计算机应用研究
• 关键词: 软件缺陷 测试用例生成 黑盒测试 事件序列 离散并行系统
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件技术研究
• 页码范围: 768-772
• 页数: 5页
• 分类号: TP311.53
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2016.03.029

摘要

在不确定上下文相关的环境中，图形用户界面测试主要依靠随机测试以及测试人员的从业经验，其有效性低。提高图形用户界面测试的效率是一个未解难题。因此，通过引入离散并行系统的 Petri 网理论，定义了图形用户界面的事件、事件序列和事件分解等概念，将可达性、有界性、活性以及强连通性等 Petri 网的重要性质延伸至此领域，以提高图形用户界面测试的覆盖面和效率。并且试图解决不可达、不强连通、死锁、无界、不符合初始模型和跳转错误等六类图形用户界面缺陷问题。实验证明基于 Petri 网的图形用户界面测试在事件覆盖数、代码行覆盖数以及缺陷发现数等方面均优于其他方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林涛	上海师范大学计算机科学与工程系	45	325	9.0	16.0
2	高建华	上海师范大学计算机科学与工程系	97	856	12.0	26.0