CAJ | 학술논문

运用测试集对程序错误语句定位算法，现在被统称为TBFL（testing based fault localization）方法。目前通行的算法，一般都没有利用测试员、程序员关于测试用例和程序的先验知识，致使这些“资源”白白浪费掉。随机TBFL方法是一类新的TBFL方法，其精神就是在随机理论的框架下，把这些先验知识和实际测试活动结合起来，从而对程序错误语句更好地定位。随机TBFL算法也可以看成是这种类型算法的一般“模式”，人们可以从这个一般性的模式里，开发出不同的算法。基于Santelices等人的思想，对随机TBFL算法作了改进。主要是从测试结果里，构造执行矩阵E和功效矩阵F两个工具，通过它们结合测试集和程序先验知识，对程序语句出错可能性引入两个级别的排序，然后对这两个排序进行“平均”，得到程序语句出错可能性的平均等级排序，它可以作为程序员改正程序错误的导向。还提出两个有关不同TBFL算法比较标准，就这两个标准，在一些具体实例上，该算法和其他一般方法以及随机TBFL方法对比，效果令人满意。
운용측시집대정서착오어구정위산법，현재피통칭위TBFL（testing based fault localization）방법。목전통행적산법，일반도몰유이용측시원、정서원관우측시용례화정서적선험지식，치사저사“자원”백백낭비도。수궤TBFL방법시일류신적TBFL방법，기정신취시재수궤이론적광가하，파저사선험지식화실제측시활동결합기래，종이대정서착오어구경호지정위。수궤TBFL산법야가이간성시저충류형산법적일반“모식”，인문가이종저개일반성적모식리，개발출불동적산법。기우Santelices등인적사상，대수궤TBFL산법작료개진。주요시종측시결과리，구조집행구진E화공효구진F량개공구，통과타문결합측시집화정서선험지식，대정서어구출착가능성인입량개급별적배서，연후대저량개배서진행“평균”，득도정서어구출착가능성적평균등급배서，타가이작위정서원개정정서착오적도향。환제출량개유관불동TBFL산법비교표준，취저량개표준，재일사구체실례상，해산법화기타일반방법이급수궤TBFL방법대비，효과령인만의。
ThelocalisationalgorithmsofprogramserrorstatementsbyusingtestsuitesarenowcollectivelycalledtheTBFL(testingbased fault localisation)approaches.However,current general algorithms usually do not make use of the prior knowledge about the test cases and programs of testers and programmers,so that they waste these valuable“resources”.Stochastic TBFL is a new kind of TBFL approach,whose spirit is to combine the prior knowledge with actual testing activities under the framework of stochastic theory,so as to better locate program errors.Stochastic TBFL may be regarded as a general pattern of this kind of approach,from which people can develop various algorithms. Inspired by Santelices et las idea,we do an improvement on stochastic TBFL.It is mainly to construct two tools,the executive matrix E and the efficiency matrix F,from the testing results.Then the test suite of program and the prior knowledge are combined through them,and for the probability of program statements to be in error,a two scales ranking is introduced,and then the two rankings are“averaged”,in this way we get the average scale rank of the probability of program statements to be in error,which can be used as the direction for programmers to correct the program errors.Moreover,in this paper we also present two correlated comparative standards for different TBFL algorithms,and in regard to these two standards,the proposed algorithm achieves satisfactory effect on some specific instances in contrast to other general approaches and the stochastic TBFL method.