宁波职业技术学院学报
寧波職業技術學院學報
저파직업기술학원학보
THE JOURNAL OF NINGBO POLYTECHNIC
2014年
6期
76-81
,共6页
程序切片%错误定位%程序谱%软件调试
程序切片%錯誤定位%程序譜%軟件調試
정서절편%착오정위%정서보%연건조시
program slicing%fault localization%program spectrum%software debugging
传统的方法一般通过统计分析语句的覆盖信息来进行错误定位。然而,在并发程序执行时,由于多个线程的交替运行,使得传统的方法进行错误定位的效率不高。提出了基于动态并发程序切片的错误定位技术(Dynamic Concurrent Slicing-based Fault Localization, DCS-FL),以在对传统的串行错误进行定位的同时,较有效地识别出并发错误。这种技术根据失效测试构建动态并发切片缩小错误搜索域,然后在此基础之上通过度量错误搜索域中元素可疑度来进行错误定位。最后,通过实例数据验证了该方法的有效性。
傳統的方法一般通過統計分析語句的覆蓋信息來進行錯誤定位。然而,在併髮程序執行時,由于多箇線程的交替運行,使得傳統的方法進行錯誤定位的效率不高。提齣瞭基于動態併髮程序切片的錯誤定位技術(Dynamic Concurrent Slicing-based Fault Localization, DCS-FL),以在對傳統的串行錯誤進行定位的同時,較有效地識彆齣併髮錯誤。這種技術根據失效測試構建動態併髮切片縮小錯誤搜索域,然後在此基礎之上通過度量錯誤搜索域中元素可疑度來進行錯誤定位。最後,通過實例數據驗證瞭該方法的有效性。
전통적방법일반통과통계분석어구적복개신식래진행착오정위。연이,재병발정서집행시,유우다개선정적교체운행,사득전통적방법진행착오정위적효솔불고。제출료기우동태병발정서절편적착오정위기술(Dynamic Concurrent Slicing-based Fault Localization, DCS-FL),이재대전통적천행착오진행정위적동시,교유효지식별출병발착오。저충기술근거실효측시구건동태병발절편축소착오수색역,연후재차기출지상통과도량착오수색역중원소가의도래진행착오정위。최후,통과실례수거험증료해방법적유효성。
The traditional methods usually locate faults by statistically analyzing the statement coverage information. However, during the execution of a concurrent program, because of interleaving run of multiple threads, the efficiency of the traditional methods is not high. So, the paper proposed a dynamic concurrent slicing-based fault localization technique to effectively identify concurrent faults and general single-threaded faults. The technique constructed dynamic concurrent slice by fault tests to reduce the fault search area, and then computed the suspiciousness of elements in the search area to locate faults. Finally, this paper illustrated and verified the effectiveness of the method.