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

The fault pattern analysis and arithmetic of multi-thread program

作　　者：刘玉璇[1] 宫云战[1] 杨朝红[2] 

机构地区：[1]北京邮电大学计算机科学与技术学院,北京100876 [2]装甲兵工程学院信息工程系,北京100072

出　　处：《北京化工大学学报（自然科学版）》2007年第A01期81-84,共4页Journal of Beijing University of Chemical Technology(Natural Science Edition)

基　　金：国家"863"计划(2006AA01Z184)

摘　　要：多线程技术在近年来得到了广泛的发展和应用,对其的测试分析具有重要的意义。本文提出了针对多线程的一些故障模式,介绍了现有的对多线程故障分析的几种方法,并对他们进行比较,以利于以后新的检测工具的生成,促进软件测试在多线程技术方面的发展。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.

关 键 词：多线程 故障模式 静态分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]