登录 | 注册 | 充值 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于 Petri 网的图形用户界面测试
  • 摘要

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

  • 作者

    林涛  高建华  Lin Tao  Gao Jianhua 

  • 作者单位

    上海师范大学 计算机科学与工程系,上海,200234

  • 刊期

    2016年3期 ISTIC PKU

  • 关键词

    软件缺陷  测试用例生成  黑盒测试  事件序列  离散并行系统  software bug  test case generation  black-box test  event sequences  discrete parallel system 

相似文献 查看更多>>
54.226.175.101