正确性验证需要与性能优化同步进行，在编译器开发的早期阶段融入模糊测试和差分测试，可以帮助尽早发现后期难以定位的深层缺陷。