计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
12期
2406-2419
,共14页
李伟%郑征%郝鹏%高乙超%饶培峰%宫成
李偉%鄭徵%郝鵬%高乙超%饒培峰%宮成
리위%정정%학붕%고을초%요배봉%궁성
软件缺陷定位%软件调试%统计学调试%谓词%执行序列
軟件缺陷定位%軟件調試%統計學調試%謂詞%執行序列
연건결함정위%연건조시%통계학조시%위사%집행서렬
software fault localization%software debugging%statistical debugging%predicate%execution-sequence
谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度？(2)执行信息量与算法定位精度有什么关系？在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.
謂詞執行信息收集和利用的程度會直接影響基于謂詞的統計學缺陷定位方法(PBSD)的定位效果.文中主要圍繞兩箇問題進行研究:(1)是否可以通過增加謂詞的執行信息量來提高算法的定位精度？(2)執行信息量與算法定位精度有什麽關繫？在此基礎上,設計瞭一種基于謂詞執行序列的軟件缺陷定位算法,通過引入謂詞執行序列增大算法使用的謂詞執行信息量.實驗錶明,增大謂詞執行信息量確實可以提高缺陷定位精度,且噹程序中謂詞執行信息量充足時,定位精度會隨信息量的增加不斷提高.
위사집행신식수집화이용적정도회직접영향기우위사적통계학결함정위방법(PBSD)적정위효과.문중주요위요량개문제진행연구:(1)시부가이통과증가위사적집행신식량래제고산법적정위정도？(2)집행신식량여산법정위정도유십요관계？재차기출상,설계료일충기우위사집행서렬적연건결함정위산법,통과인입위사집행서렬증대산법사용적위사집행신식량.실험표명,증대위사집행신식량학실가이제고결함정위정도,차당정서중위사집행신식량충족시,정위정도회수신식량적증가불단제고.
