西部網訊（記者 李卓然 通訊員 熊曉芬）明明在電腦屏幕上顯示得整整齊齊，但是打印出來卻成了亂碼？在線交易正在進行中，瀏覽器卻突然停止響應？這些都是因為瀏覽器引擎出現了BUG（缺陷）。日前，西北大學信息學院物聯網研究團隊湯戰勇教授課題組聯合英國利茲大學、南方科技大學、螞蟻集團以及阿里巴巴達摩院的AI專家在軟件測試領域取得重要進展，團隊研發出具有自主知識產權的軟件測試系統COMFORT，在谷歌、微軟、蘋果、火狐等主流瀏覽器引擎總共發現129個全新軟件缺陷（BUG）。

瀏覽器引擎可以說是瀏覽器的“最強大腦”，它是正確理解和執行用戶操作的關鍵。如果“大腦”隱藏著一些未被發現的缺陷或者問題，必然會引起部分操作出現異常。現在為了適應新的應用需求，瀏覽器都在不斷演進，假若在演進過程中引擎不符合已有的國際標準和規范，就容易造成缺陷，甚至引發嚴重的BUG。在瀏覽器引擎發布之前，發現大量的缺陷并加以修復，就顯得極其迫切和重要。

目前業界公認模糊測試是發現瀏覽器引擎BUG最有效的方法之一，但是如何生成較好的測試用例，并利用測試用例發現瀏覽器引擎BUG，卻一直困擾著軟件測試人員。西北大學聯合各專家利用人工智能自動生成測試用例方法，結合標準文檔，生成導向性更強的測試用例，并結合差分測試構建了智能測試系統COMFORT。

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

在剛剛舉行的計算機程序設計語言領域的旗艦會議ACM PLDI 2021上，物聯網研究團隊發表了他們的研究成果論文Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing（論文第一作者為西北大學信息學院青年教師葉貴鑫博士）。PLDI會議審稿人一致認定該方法“新穎”“創新”。實驗結果表明，與已有的自動測試方法比較，COMFORT生成測試用例的語法正確率提高30%以上；在相同的時間內，COMFORT能至少發現2倍以上的BUG。

原文鏈接：http://toutiao.cnwest.com/data/sxtt/share/news/2021/06/28/content_1762657.html