计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
235-241
,共7页
错误定位%测试为基础的错误定位%随机错误定位方法
錯誤定位%測試為基礎的錯誤定位%隨機錯誤定位方法
착오정위%측시위기출적착오정위%수궤착오정위방법
Fault localization%Testing based fault localization%Random testing based fault localization
运用测试集对程序错误语句定位的算法,现在被统称为TBFL(testing based fauk localization)方法.目前通行的算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些“资源”白白浪费掉.文献[12]引入了一类新的随机TBFL方法,其精神就是在随机理论的框架下,把这些先验知识和实际测试活动结合起来,从而对程序错误语句更好地定位.文献[12]提出的算法可以看成是这种类型算法的一般“模式”,人们可以根据这个一般性的模式开发出不同的算法.基于文献[13]的思想,对文献[12]中的算法做了改进.主要是根据测试结果,构造执行矩阵E和功效矩阵F两个工具,并结合测试集和程序先验知识,对程序语句出错可能性引入两个级别的排序,然后对这两个排序进行“平均”,得到程序语句出错可能性的平均等级排序,它可以作为程序员改正程序错误的导向.还提出两个有关不同TBFL算法的比较标准,根据这两个标准,在一些具体实例上,将所提算法和其他一般方法以及文献[12]中的方法进行了对比,结果显示所提算法的效果令人满意.
運用測試集對程序錯誤語句定位的算法,現在被統稱為TBFL(testing based fauk localization)方法.目前通行的算法一般都沒有利用測試員、程序員關于測試用例和程序的先驗知識,緻使這些“資源”白白浪費掉.文獻[12]引入瞭一類新的隨機TBFL方法,其精神就是在隨機理論的框架下,把這些先驗知識和實際測試活動結閤起來,從而對程序錯誤語句更好地定位.文獻[12]提齣的算法可以看成是這種類型算法的一般“模式”,人們可以根據這箇一般性的模式開髮齣不同的算法.基于文獻[13]的思想,對文獻[12]中的算法做瞭改進.主要是根據測試結果,構造執行矩陣E和功效矩陣F兩箇工具,併結閤測試集和程序先驗知識,對程序語句齣錯可能性引入兩箇級彆的排序,然後對這兩箇排序進行“平均”,得到程序語句齣錯可能性的平均等級排序,它可以作為程序員改正程序錯誤的導嚮.還提齣兩箇有關不同TBFL算法的比較標準,根據這兩箇標準,在一些具體實例上,將所提算法和其他一般方法以及文獻[12]中的方法進行瞭對比,結果顯示所提算法的效果令人滿意.
운용측시집대정서착오어구정위적산법,현재피통칭위TBFL(testing based fauk localization)방법.목전통행적산법일반도몰유이용측시원、정서원관우측시용례화정서적선험지식,치사저사“자원”백백낭비도.문헌[12]인입료일류신적수궤TBFL방법,기정신취시재수궤이론적광가하,파저사선험지식화실제측시활동결합기래,종이대정서착오어구경호지정위.문헌[12]제출적산법가이간성시저충류형산법적일반“모식”,인문가이근거저개일반성적모식개발출불동적산법.기우문헌[13]적사상,대문헌[12]중적산법주료개진.주요시근거측시결과,구조집행구진E화공효구진F량개공구,병결합측시집화정서선험지식,대정서어구출착가능성인입량개급별적배서,연후대저량개배서진행“평균”,득도정서어구출착가능성적평균등급배서,타가이작위정서원개정정서착오적도향.환제출량개유관불동TBFL산법적비교표준,근거저량개표준,재일사구체실례상,장소제산법화기타일반방법이급문헌[12]중적방법진행료대비,결과현시소제산법적효과령인만의.
