期刊文献+

多线程故障分析及解决方法

The fault pattern analysis and arithmetic of multi-thread program
下载PDF
导出
摘要 多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。 Multi-thread technology has got extensive development in applications for recent years, it is important to get a full analysis of this technology. This paper introduces basic fault patterns of multi-thread program, and then summarizes several algorithms for multi-thread program analysis along with comparison of their advantages and limits. These multi-thread program analysis benefit a lot for the formulation of the new testing tools, and will promote the development of software testing in multi-thread technology field.
出处 《北京化工大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第A01期81-84,共4页 Journal of Beijing University of Chemical Technology(Natural Science Edition)
基金 国家"863"计划(2006AA01Z184)
关键词 多线程 故障模式 静态分析 multi-thread fault pattern static analysis
  • 相关文献

参考文献7

二级参考文献50

  • 1[1]Brooks F P Jr.The Mythical Man-Month: Essays on Software Engineering,Anniversary Edition,(2nd ed.)Addison-Wesley 1995
  • 2[2]Fewster M,Graham D.Software Test Automation.Addison -Wesley,1999
  • 3[3]PurifyPlus.http://www.rational.com/products/pqc/index.jsp
  • 4[4]Bush W,Pincus J,Sielaff D.A static analyzer for finding dynamic programming errors.Software - Practice and Experience,2000,30(7):755~802
  • 5[5]Engler D,Chelf B,Chou A,Hallem S.Checking system rules using system-specific programmer-written compiler extensions.In:Proc.of the Fourth Symposium on Operating System Design and Implementation,San Diego,Oct.2000
  • 6[6]Detlefs D L,Leino K R M,Nelson G,Saxe J B.Extended static checking:[SRC Research Report 159].Compaq System Research Center,1998
  • 7[7]LDRA.http://www.ldra.co.uk
  • 8[8]Parasoft.http://www.parasoft.com
  • 9[9]King J C.Symbolic execution and testing.Comm.of the ACM,1976,19:385~394
  • 10[10]Nelson G,Oppen D.Simplification by cooperating decision procedures.ACM TOPLAS,1979,1(2):245~257

共引文献71

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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