Vol．36No．12Dec．2013基于谓词执行序列的软件缺陷定位算法.pdfVIP

第卷第期 计 算 机 学 报 ３６ １２ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．１２ 年月 ２０１３１２ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｄｅｃ．２０１３ 　 基于谓词执行序列的软件缺陷定位算法 李伟郑征郝鹏高乙超饶培峰宫成 　 　 　 　 　 （北京航空航天大学自动化科学与电气工程学院北京 ） １００１９１ 　 　 摘要 （ ） 谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法 的定位效果文中 ＰＢＳＤ ． 　　 主要围绕两个问题进行研究：（）是否可以通过增加谓词的执行信息量来提高算法的定位精度（）执行信息量与 １ ？２ 算法定位精度有什么关系在此基础上，设计了一种基于谓词执行序列的软件缺陷定位算法，通过引入谓词执行序？ 列增大算法使用的谓词执行信息量实验表明，增大谓词执行信息量确实可以提高缺陷定位精度，且当程序中谓词 ． 执行信息量充足时，定位精度会随信息量的增加不断提高． 关键词 ； ； ； ； 软件缺陷定位软件调试统计学调试谓词执行序列 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０２４０６ 　　　 　 犘狉犲犱犻犮犪狋犲犈狓犲犮狌狋犻狅狀犛犲狌犲狀犮犲犅犪狊犲犱犉犪狌犾狋犔狅犮犪犾犻狕犪狋犻狅狀犃犾狅狉犻狋犺犿 狇 犵 ＬＩＷｅｉＺＨＥＮＧＺｈｅｎＨＡＯＰｅｎＧＡＯＹｉＣｈａｏＲＡＯＰｅｉＦｅｎＧＯＮＧＣｈｅｎ 　 　 　 　 　 ｇ ｇ ｇ ｇ （ ， ， ） 犛犮犺狅狅犾狅犃狌狋狅犿犪狋犻狅狀犛犮犻犲狀犮犲犪狀犱犈犾犲犮狋狉犻犮犪犾犈狀犻狀犲犲狉犻狀犅犲犻犺犪狀犝狀犻狏犲狉狊犻狋犅犲犻犻狀１００１９１ 　 犳 犵 犵 犵 狔 犼犵 ， 犃犫狊狋狉犪犮狋Ｆｏｒｒｅｄｉｃａｔｅｓｂａｓｅｄｓｔａｔｉｓｔｉｃａｌｄｅｂｕｉｎｔｈｅｓｔｒｅｎｔｈｏｆａｔｈｅｒｉｎａｎｄｕｔｉｌｉｚｉｎ 　 ｐ ｇｇｇ ｇ ｇ ｇ