文件名称：论文研究-基于Petri网的图形用户界面测试.pdf
文件大小：1.27MB
文件格式：PDF
更新时间：2022-08-11 13:08:28
软件缺陷,测试用例生成,黑盒测试,事件序列,离散并行系统
在不确定上下文相关的环境中，图形用户界面测试主要依靠随机测试以及测试人员的从业经验，其有效性低。提高图形用户界面测试的效率是一个未解难题。因此，通过引入离散并行系统的Petri网理论，定义了图形用户界面的事件、事件序列和事件分解等概念，将可达性、有界性、活性以及强连通性等Petri网的重要性质延伸至此领域，以提高图形用户界面测试的覆盖面和效率。并且试图解决不可达、不强连通、死锁、*、不符合初始模型和跳转错误等六类图形用户界面缺陷问题。实验证明基于Petri网的图形用户界面测试在事件覆盖数、代码行覆盖数以及缺陷发现数等方面均优于其他方法。