- 快召唤伙伴们来围观吧
- 微博 QQ QQ空间 贴吧
- 文档嵌入链接
- 复制
- 微信扫一扫分享
- 已成功复制到剪贴板
Learning to test compilers
编译器作为一个特殊的软件,和普通软件一样存在各种各样的bug,但是如何测试并找到其中的bug,寻找最高效的方法确有不一样的地方,其中样例测试程序本身选择对于找到编译器bug至关重要,LET采用了机器学习算法预先计算测试代码特性及其运行时间,根据训练模型自动生成c语言的bug验证代码,并对验证代码按照一定规则进行排序调度,减少了编译器bug发现和运行对时间。
展开查看详情
相关推荐
确认
3秒后跳转登录页面
去登陆