有時明明在電腦屏幕上顯示得整整齊齊，但是打印出來卻成了亂碼？在線交易正在進行中，瀏覽器卻突然停止響應？線上支付或轉賬時，因用戶名截取錯位導致認證失敗，甚至銀行轉賬數額錯誤……在享受著網絡為工作、學習和生活帶來的輕松和便捷時，我們都或多或少地遇到過這類困擾。你是否知道，之所以會出現這些問題，是因為瀏覽器引擎出現了BUG（缺陷）。

瀏覽器引擎可以說是瀏覽器的“最強大腦”，它是正確理解和執行用戶操作的關鍵。如果“大腦”隱藏著一些未被發現的缺陷或者問題，必然會引起部分操作出現異常。于是，在瀏覽器引擎發布之前，發現大量的缺陷并加以修復，就顯得極其迫切和重要。

日前西北大學信息學院物聯網研究團隊湯戰勇教授課題組聯合南方科技大學、螞蟻集團、阿里巴巴達摩院以及英國利茲大學的AI專家在軟件測試領域取得重要進展，研發出具有自主知識產權的軟件測試系統COMFORT，在谷歌、微軟、蘋果、火狐等主流瀏覽器引擎總共發現129個全新軟件缺陷（BUG）。

據湯戰勇教授介紹，他們利用該系統對10種主流JS瀏覽器引擎進行了測試，共發現并向各廠商提交了158個缺陷報告，其中被官方確認了129個BUG，團隊還輔助廠商修復了115個BUG。另外，該系統還為官方的標準化一致性測試套件貢獻了21個測試用例，得到了開源社區開發人員的一致好評。

在剛剛舉行的計算機程序設計語言領域的旗艦會議ACM PLDI 2021上，研究團隊發表了他們的研究成果論文，也是西部高校作為第一作者單位在該會議上首次發表論文。

據了解，ACM PLDI會議創辦于1979年，是計算機程序設計語言領域的旗艦會議，中國計算機學會（CCF）推薦A類學術會議

原文鏈接：http://news.sciencenet.cn/htmlnews/2021/6/460378.shtm