| 基于Petri网的图形用户界面测试 |
| |
| 引用本文： | 林涛,高建华.基于Petri网的图形用户界面测试[J].计算机应用研究,2016,33(3). |
| |
| 作者姓名： | 林涛 高建华 |
| |
| 作者单位： | 上海师范大学 计算机科学与工程系,上海师范大学 计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金资助项目、上海市企业自主创新专项资金项目 |
| |
| 摘 要： | 在不确定上下文相关的环境中，图形用户界面测试主要依靠随机测试以及测试人员的从业经验，其有效性低。提高图形用户界面测试的效率是一个未解难题。因此，本文通过引入离散并行系统的Petri网理论，定义了图形用户界面的事件、事件序列和事件分解等概念，将可达性、有界性、活性以及强连通性等Petri网的重要性质延伸至此领域，以提高图形用户界面测试的覆盖面和效率。并且，试图解决不可达、不强连通、死锁、无界、不符合初始模型和跳转错误等六类图形用户界面缺陷问题。实验证明基于Petri网的图形用户界面测试在事件覆盖数、代码行覆盖数以及缺陷发现数等方面均优于其他方法。
|
| 关 键 词： | 软件缺陷、测试用例生成、黑盒测试、事件序列、离散并行系统 |
| 收稿时间： | 2014/12/13 0:00:00 |
| 修稿时间： | 2016/1/31 0:00:00 |
Graphic User Interface Testing Based on Petri Net |
| |
| LIN Tao and Gao Jianhua.Graphic User Interface Testing Based on Petri Net[J].Application Research of Computers,2016,33(3). |
| |
| Authors: | LIN Tao and Gao Jianhua |
| |
| Affiliation: | Department of Computer Science and Technology, Shanghai Normal University,Department of Computer Science and Technology, Shanghai Normal University |
| |
| Abstract: | |
| |
| Keywords: | Software Bug Test Case Generation Black-Box Test Event Sequences Discrete Parallel System |
|
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
