基于模型的软件测试方法研究
作者:

Research on The Software Testing Based on Testing Model
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [1]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之一,具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研究。对主要的测试模型进行了分析和分类,同时,对故障密度等参数进行了初步的分析;最后,提出了一种基于模型的软件测试流程。

    参考文献
    1 颜炯, 王戟, 陈火旺. 基于模型的软件测试综述. 计算机科学, 2004, (2). 2 Ball T, Bountimova E, Cook B. Through static analysis of device drivers. EuroSys, 2006: 73-85. 3 Yang J, Sar C, Engler D. Explode: a lightweight, general system for finding serious storage sys errors. Proceedings of the USENIX Symposium on Operating System Design and Implementation (OSDI) Seattle, Washington, 2006. 4 Engler D, Chelf B, Chou A, et al. Checking system rules using system-specific, programmer-written compiler extensions. Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, CA, 2000. 5 Ashcraft K, Engler D. Using programmer-written compiler extensions to catch security holes. IEEE Symposium on Security and Privacy, Oakland, California, 2002. 6 Hovemeyer D, Pugh W. Finding bugs is easy. ACM SIGPLAN Notices, 2004, 39 (12): 92-106. 7 杨朝红, 宫云战, 肖庆, 毕学军. 基于模型的软件测试. 北京化工大学学报, 2007, (34): 85-88. 8 Cadar C, Canesh V, Pawlowski P M, et al. Engler EXE:Automatically generating inputs of death. 13th ACM Conference on Computer and Communications Security, 2006. 9 Rutar N, almazan C, Foster J S. A comparison of bug finding tools for Java. Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, Saint-Malo, France, 2004.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

吴艳,张惠.基于模型的软件测试方法研究.计算机系统应用,2008,17(8):87-89

复制
分享
文章指标
  • 点击次数:6033
  • 下载次数: 43631
  • HTML阅读次数: 0
  • 引用次数: 0
历史
文章二维码
您是第11508284位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号