软件错误自动定位关键科学问题及研究进展-计算机学报.PDFVIP

第 卷 第 期 计 算 机 学 报 ３８ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３８ Ｎｏ．１１ 年 月 ２０１５ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１５ 　 软件错误自动定位关键科学问题及研究进展 ），） ） ） ） １ ２ １ １ １ 王克朝 王甜甜 苏小红 马培军 　 　 　 １）（哈尔滨工业大学计算机科学与技术学院 哈尔滨 １５０００１） 　 　 ２）（哈尔滨学院软件学院 哈尔滨 １５００８６） 　 　 摘 要 程序源代码中的缺陷是导致软件不可靠的一个主要原因 软件错误自动定位技术通过计算机分析程序源 ． 　 　 代码或执行过程中产生的运行状态，检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码，从而缩 小缺陷代码的搜索范围，辅助开发人员更快地识别缺陷语句并分析软件失效的产生原因 为了清晰地分析软件错 ． 误定位领域的关键科学问题，文中首先定义了“失效 错误定位 理解”模型，然后形式化地描述了软件错误定位相关   概念；接下来，调研国内外最新研究进展，统计分析了发展趋势；重点分析了各种错误定位方法的基本思想、优缺点 及其对关键问题的解决情况；最后总结了尚待解决的难点问题，指出了未来可能的研究方向． 关键词 软件失效；软件缺陷；错误定位；自动化调试；程序分析 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１５．０２２６２ 　　　 犓犲犛犮犻犲狀狋犻犳犻犮犐狊狊狌犲狊犪狀犱犛狋犪狋犲犃狉狋狅犳犃狌狋狅犿犪狋犻犮犛狅犳狋狑犪狉犲犉犪狌犾狋犔狅犮犪犾犻狕犪狋犻狅狀 狔 ），） ） ） ） １ ２ １ １ １ ＷＡＮＧＫｅＣｈａｏ ＷＡＮＧＴｉａｎＴｉａｎ ＳＵＸｉａｏＨｏｎ ＭＡＰｅｉＪｕｎ 　 　 ｇ　 １）（ ， ， ） 犛犮犺狅狅犾狅 犆狅犿 狌狋犲狉犛犮犻犲狀犮犲犪狀犱犜犲犮犺狀狅犾狅 犎犪狉犫犻狀犐狀狊狋犻狋狌狋犲狅 犜犲犮犺狀狅犾狅 犎犪狉犫犻狀 １５０００１ 犳 狆