期刊文献+

基于模型的软件测试方法研究 被引量:3

Research on The Software Testing Based on Testing Model
下载PDF
导出
摘要 随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之一,具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研究。对主要的测试模型进行了分析和分类,同时,对故障密度等参数进行了初步的分析;最后.提出了一种基于模型的软件测试流程。
作者 吴艳 张惠
出处 《计算机系统应用》 2008年第8期87-89,68,共4页 Computer Systems & Applications
  • 相关文献

参考文献8

  • 1[2]Ball T,Bountimova E,Cook B.Through static analysis of device drivers.EuroSys,2006:73-85.
  • 2[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 Systern Design and Implementation(OSDI)Seattle,Washington,2006.
  • 3[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.
  • 4[5]Ashcraft K,Engler D.Using programmer-written compiler extensions to catch security holes.IEEE Symposium on Security and Privacy,Oakland,California,2002.
  • 5[6]Hovemeyer D,Pugh W.Finding bugs is easy.ACM SIGPLAN Notices,2004,39(12):92-106.
  • 6杨朝红,宫云战,肖庆,毕学军.基于模型的软件测试[J].北京化工大学学报(自然科学版),2007,34(A01):85-88. 被引量:10
  • 7[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.
  • 8[9]Rutar N,almazan C,Foster J S.A comparison of bug finding tools for Java.Proceedings of the 15th IEEE Intemational Symposium on Software Reliability Engineering,Saint-Malo,France,2004.

二级参考文献11

  • 1RTI.The economic impacts of inadequate infrastructure for software testing[R]∥Planning Report 02-3,National Institute of Standards and Technology(NIST),2002.
  • 2BALL T,BOUNIMOVA E B,COOK B,et al.Thorough static analysis of device drivers[M].EuroSys,2006.
  • 3YANG Junfeng,SAR C,ENGLER D.Explode:a lightweight,general system for finding serious storage system errors[R]∥Proceedings of the USENIX Symposium on Operating Systems Design and Implementation(OSDI)Seattle,Washington,2006.
  • 4ENGLER D,CHELF B,CHOU A,et al Checking system rules using system-specific,programmer-written compiler extensions[R]//Proceedings of the Fourth Symposium on Operating Systems Design and Implementation,San Diego,CA,2000.
  • 5ASHCRAFT K,ENGLER D.Using programmer-written compiler extensions to catch security holes[R]∥IEEE Symposium on Security and Privacy,Oakland,California,2002.
  • 6HOVEMEYER D,PUGH W.Finding bugs is easy[J].ACM SIGPLAN Notices,2004,39(12):92-106.
  • 7CADAR C,GANESH V,PAWLOWSKI P M,et al.Engler EXE:Automatically generating inputs of death[C]∥13th ACM Conference on Computer and Communications Security,2006.
  • 8http:∥findbugs.sourceforge.net/bugDescriptions.html.
  • 9http:∥pmd.sourceforge.net/.
  • 10http:∥artho.com/jlint.

共引文献9

同被引文献10

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部