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

由于面向对象程序的动态执行特征,传统测试方法不能很好地描述和分析对象状态,这就影响了对面向对象程序进行故障定位的准确性.针对此问题,基于模式的概念和序列模式的方法,提出采用对象生存期行为模型来刻画对象行为特征,并基于此模型来定义程序行为模式;然后,基于程序行为模式设计了程序可疑模式的发现框架,包括数据准备过程、模式提取过程、反常行为发现过程,并定义了模式提取准则和发现算法;最后,在程序行为模式相关概念的基础上,介绍了长度为2和长度大于2的可疑模式的发现算法.通过实验分析、设计和实施,在实际的故障定位中应用该方法,取得了平均0.761的定准率和0.737的定全率,定位结果良好,具有较高的实用价值.