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