Learning to test compilers

Null

发布于

1807

人观看

编译器作为一个特殊的软件，和普通软件一样存在各种各样的bug，但是如何测试并找到其中的bug，寻找最高效的方法确有不一样的地方，其中样例测试程序本身选择对于找到编译器bug至关重要，LET采用了机器学习算法预先计算测试代码特性及其运行时间，根据训练模型自动生成c语言的bug验证代码，并对验证代码按照一定规则进行排序调度，减少了编译器bug发现和运行对时间。

展开查看详情

1 点赞

0 收藏

0下载