Abstract
目前已有許多不同的錯誤偵測技術被開發出來，但在實際的應用上，程式設計師仍然必須花費許多時間手動檢查可能包含錯誤的程式碼中已使用到變數的值。因此在這篇文章中主要想要討論的是如何在全自動化除錯系統上使用最近才被提出的偵錯技術—State-Coverage並實際實作出來。除了運用原有Checkpoint記錄在Branching Point該行程式碼中的變數外，也針對不同的Branch point的特性提出加入不同的Checkpoint的方法並依照其結果的正確性分類處理。由Priority-Ranker和Weight-Calculator運算後，將Priority Value最高的該行程式碼進行Data-Slicing 和Dependence-Tree建置動作，便可以看出錯誤可能性最高的那行程式碼的Dependence-Tree。最後再提出延展Function Call為行數的想法去計算偵測錯誤所在的行數與真正錯誤所在行數的距離。目前在總數5034種測試案例之下可以將偵測錯誤正確率提升5%(偵測錯誤行數與真正錯誤行數距離小於5行)~11%(偵測錯誤行數與真正錯誤行數距離小於20行)，討論Code-Coverage、State-Coverage與改良後的State-Coverage的表現與相關的影響因素。