有时明明在电脑屏幕上显示得整整齐齐，但是打印出来却成了乱码?在线交易正在进行中，浏览器却突然停止响应?线上支付或转账时，因用户名截取错位导致认证失败，甚至银行转账数额错误……在享受着网络为工作、学习和生活带来的轻松和便捷时，我们都或多或少地遇到过这类困扰。你是否知道，之所以会出现这些问题，是因为浏览器引擎出现了BUG(缺陷)。

浏览器引擎可以说是浏览器的“最强大脑”，它是正确理解和执行用户操作的关键。如果“大脑”隐藏着一些未被发现的缺陷或者问题，必然会引起部分操作出现异常。于是，在浏览器引擎发布之前，发现大量的缺陷并加以修复，就显得极其迫切和重要。

日前西北大学信息学院物联网研究团队汤战勇教授课题组联合南方科技大学、蚂蚁集团、阿里巴巴达摩院以及英国利兹大学的AI专家在软件测试领域取得重要进展，研发出具有自主知识产权的软件测试系统COMFORT，在谷歌、微软、苹果、火狐等主流浏览器引擎总共发现129个全新软件缺陷(BUG)。

据汤战勇教授介绍，他们利用该系统对10种主流JS浏览器引擎进行了测试，共发现并向各厂商提交了158个缺陷报告，其中被官方确认了129个BUG，团队还辅助厂商修复了115个BUG。另外，该系统还为官方的标准化一致性测试套件贡献了21个测试用例，得到了开源社区开发人员的一致好评。

在刚刚举行的计算机程序设计语言领域的旗舰会议ACM PLDI 2021上，研究团队发表了他们的研究成果论文，也是西部高校作为第一作者单位在该会议上首次发表论文。

据了解，ACM PLDI会议创办于1979年，是计算机程序设计语言领域的旗舰会议，中国计算机学会(CCF)推荐A类学术会议。(作者： 熊晓芬 张行勇)

责任编辑：kj005