程序可疑模式发现方法研究  

Research on methods of finding suspicious patterns about Programs

作　　者：刘雪梅[1,2] 顾国昌[1] 柳永坡[3] 吴际[3] 贾晓霞[3] 

机构地区：[1]哈尔滨工程大学计算机科学与技术学院,黑龙江哈尔滨150001 [2]北京城市学院软件与信息管理学部,北京100094 [3]北京航空航天大学计算机科学与技术学院,北京100083

出　　处：《哈尔滨工程大学学报》2011年第2期209-215,共7页Journal of Harbin Engineering University

基　　金：国家自然科学基金资助项目(60603039)

摘　　要：由于面向对象程序的动态执行特征,传统测试方法不能很好地描述和分析对象状态,这就影响了对面向对象程序进行故障定位的准确性.针对此问题,基于模式的概念和序列模式的方法,提出采用对象生存期行为模型来刻画对象行为特征,并基于此模型来定义程序行为模式;然后,基于程序行为模式设计了程序可疑模式的发现框架,包括数据准备过程、模式提取过程、反常行为发现过程,并定义了模式提取准则和发现算法;最后,在程序行为模式相关概念的基础上,介绍了长度为2和长度大于2的可疑模式的发现算法.通过实验分析、设计和实施,在实际的故障定位中应用该方法,取得了平均0.761的定准率和0.737的定全率,定位结果良好,具有较高的实用价值.Due to the dynamic execution of object-oriented programs,the object states cannot be described and analyzed properly by use of traditional test methods.Doing so will affect the accuracy of fault localization in the object-oriented programs.On the basis of the concept of a pattern,the lifetime behavior model（LBM） was proposed to describe the behavioral characteristics of objects by using sequence patterns.Also,as the behavioral patterns of a class were constituted of LBM,the behavioral patterns of a program were defined on the basis of the behavioral patterns of classes.Next,the framework of finding suspicious patterns in a program was designed;this framework involved preparing data,extracting patterns,and finding abnormal behaviors.The standard of extracting patterns was defined and the mining algorithms of finding patterns were described.Lastly,the methods of finding suspicious patterns whose length was equal and larger than 2 were put forward.These methods can be utilized in research on fault localization,and they gain the rate of 0.761 in precision and 0.737 in recall on average as indicated by the experimental data.Satisfactory results have been achieved with these methods.

关 键 词：对象生存期行为模型 故障定位 模式 序列模式 差异分析 可疑模式 

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