Learning to test compilers

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