CAJ | 학술논문

基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.
기우정서보적착오정위기술유우기교고적정위효솔이성위당전연건조시영역연구열점지일.저충기술통상근거측시복개신식계산정서어구발생착오적가의도래진행착오정위.연이,저충기술회수착정서중착오수목적증다효솔불단하강.감우차,제출료일충기우조건집행절편보적다착오정위기술(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),이제고다착오정위적효솔.CESS-MFL기술수선근거수입변량적위사조건구건착오상관조건집행절편적보구진,연후의차계산착오상관조건집행절편중적원소(어구혹어구괴)적가의도,병생성가의도보고.실험험증료CESS-MFL기술비당전류행적기우정서보적Tarantula기술、기우정서절편적Intersection기술、Union기술유경고적다착오정위효솔,병차가재유효적시간화공간복잡도내완성.