计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2013年
2期
445-456
,共12页
张云乾%郑征%季晓慧%张文博%张震宇
張雲乾%鄭徵%季曉慧%張文博%張震宇
장운건%정정%계효혜%장문박%장진우
软件错误定位%软件错误类型%错误类型预测%马尔可夫模型
軟件錯誤定位%軟件錯誤類型%錯誤類型預測%馬爾可伕模型
연건착오정위%연건착오류형%착오류형예측%마이가부모형
软件调试是软件开发的重要环节.统计错误定位技术通过分析程序执行频谱来估计程序中错误所在的位置.针对不同类型的程序频谱,此类技术建立不同的启发式模型描述程序行为.已有研究表明,其准确度同目标错误和程序类型相关,且不存在某种普遍有效的技术.文中从单元测试的特性出发,探讨预测错误类型的可行性,并采用马尔可夫过程对错误类型进行预测,从错误定位技术备选集中选择适合的技术来实施.实验表明文中方法能够更快地定位程序错误.
軟件調試是軟件開髮的重要環節.統計錯誤定位技術通過分析程序執行頻譜來估計程序中錯誤所在的位置.針對不同類型的程序頻譜,此類技術建立不同的啟髮式模型描述程序行為.已有研究錶明,其準確度同目標錯誤和程序類型相關,且不存在某種普遍有效的技術.文中從單元測試的特性齣髮,探討預測錯誤類型的可行性,併採用馬爾可伕過程對錯誤類型進行預測,從錯誤定位技術備選集中選擇適閤的技術來實施.實驗錶明文中方法能夠更快地定位程序錯誤.
연건조시시연건개발적중요배절.통계착오정위기술통과분석정서집행빈보래고계정서중착오소재적위치.침대불동류형적정서빈보,차류기술건립불동적계발식모형묘술정서행위.이유연구표명,기준학도동목표착오화정서류형상관,차불존재모충보편유효적기술.문중종단원측시적특성출발,탐토예측착오류형적가행성,병채용마이가부과정대착오류형진행예측,종착오정위기술비선집중선택괄합적기술래실시.실험표명문중방법능구경쾌지정위정서착오.
