一种编程范式：对拍编程

在GAN中，有生成器和鉴别器两种组件，这两种组件可以互相促进，共同进步。

在ACM比赛中，为了验证程序的正确性，一面使用暴力方法（容易验证正确性），一面使用快速方法（效率较高）。当快速方法无法通过时，用随机生成的小数据对拍出一组数据，从而快速定位快速方法的bug。

在编写密码学程序时，编写一个编码器，编写一个解码器，使用decode(encode(noise))=noise这个法则可以快速验证编码器和解码器是否正确。

这里面体现出的就是一种设计思想：让两份代码彼此校验从而保证正确性。相比于普通的测试，这种方法相当于“升维”，这种测试比普通测试覆盖面更广。而当对拍不仅仅是测试，而是一种必需的工作时，这种方法则具备了测试简单的特点。

转载于:https://www.cnblogs.com/weiyinfu/p/9687711.html