西北大学创新研发COMFORT智能测试工具，自动检测浏览器129个BUG
你有没有遇到过这种情况：电脑上显示一切正常，但一打印就变成乱码？或者正进行在线交易时，浏览器突然卡死？还有更恼火的，支付时用户名显示不全导致失败，甚至银行转账金额出错？……网络给生活带来便利，但这些小毛病真让人头疼。知道为什么吗？其实都是浏览器引擎里的BUG在捣鬼。 浏览器引擎就像是浏览器的大脑，负责理解你的操作指令。如果这个“大脑”藏有未发现的缺陷，某些功能就会出问题。现在浏览器不断更新换代，但如果新版本不遵守国际标准，就容易产生漏洞，甚至引发严重BUG。所以，在浏览器发布前找出并修复这些缺陷，变得格外重要。 最近，西北大学信息学院物联网团队的汤战勇教授课题组，联合英国利兹大学、南方科技大学、蚂蚁集团和阿里巴巴达摩院的AI专家，在软件测试领域取得重大进展。他们成功开发出拥有自主知识产权的智能测试系统COMFORT，在谷歌、微软、苹果、火狐等主流浏览器引擎中，共发现了129个全新BUG。 目前，模糊测试被认为是找浏览器BUG最有效的方法之一，但如何生成好的测试用例一直是个难题。西北大学团队利用AI自动生成测试用例，结合标准文档，让测试更精准，再通过差分测试构建了COMFORT系统。汤战勇教授介绍，团队用该系统测试了10种主流JS浏览器引擎，提交了158个缺陷报告，其中129个被官方确认，还协助厂商修复了115个BUG。COMFORT还为标准测试套件贡献了21个用例，获得开源社区好评。 在刚举行的顶级会议ACM PLDI 2021上，团队发表了研究成果论文《Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing》（第一作者为叶贵鑫博士）。审稿人一致认为该方法新颖创新。实验显示，COMFORT生成测试用例的语法正确率提升30%以上，相同时间内发现的BUG数量是其他方法的两倍多。 ACM PLDI是1979年创办的程序设计语言旗舰会议，CCF评级A类。统计显示，近20年大陆学者年均发表论文不足1篇，西部高校作为第一作者单位发表尚属首次。 （中国日报陕西记者站） 来源：中国日报网相关问答
