7月24日下午，應計算機科學國家重點實驗室的邀請，美國德克薩斯大學W. Eric Wong教授訪問軟件所，并作了題為Program debugging with effective software fault localization的學術報告。學術報告會由林惠民院士主持。

程序調試是可靠和可信軟件開發中的一個重要組成部分。由于軟件的規模和復雜性不斷增長，要找到程序錯誤的準確位置非常困難，程序調試通常代價高昂并且耗費大量時間。W. Eric Wong教授介紹了其研究組在軟件錯誤定位方向的最新研究工作。他表示，錯誤定位技術在程序調試中扮演了重要角色，它的基本思想是對可能包含錯誤的代碼部分按照可疑程度進行排序，這樣程序員就按照可疑程度（包含錯誤的可能性）從高到低對代碼進行檢查直到找到錯誤。一個好的錯誤定位技術應該把真正包含錯誤的代碼部分盡可能排在最前面，以便讓程序員更快找到錯誤。在報告中，W. Eric Wong教授介紹了錯誤定位的各種不同技術，詳細討論了基于執行切片、代碼覆蓋率、啟發式方法、神經網絡、統計分析和聚類等不同錯誤定位方法的優缺點。W. Eric Wong教授提出了一種基于相似系數分析的DStar方法，可以自動識別程序中的可疑位置，而不需要程序結構和語義方面的信息。通過對包含單個和多個錯誤的程序進行案例分析得到的實驗數據表明這一方法在定位錯誤方面比其他方法效率更高。

報告結束后，W. Eric Wong 教授同與會人員就錯誤定位、符號執行、測試和驗證等相關問題進一步深入的交流。

W. Eric Wong 教授現任美國德克薩斯大學達拉斯分校計算機科學系教授，也是美國國家標準與技術研究所（NIST）的客座研究員。他目前主要致力于軟件測試、調試、風險分析與度量、安全、可靠性等方面的研究。他于1997年獲得NASA約翰遜航天中心質量保證特別成就獎，并且有兩篇論文分別獲得COMPSAC 2007 和ACM SAC 2011的最佳論文獎。W. Eric Wong教授是IEEE可靠性學會的副會長，ACM SIGAPP的秘書長，以及IEEE軟件安全性與可靠性國際會議（SERE）的創始人和指導委員會主席。

W. Eric Wong 教授作報告