本文介绍了一种程序验证的方法——对拍。通过对拍可以有效检验程序的正确性。具体步骤包括编写暴力求解程序、正解程序及数据生成器，并通过循环比对输出结果来验证程序是否正确。
这篇博客主要是记一下对拍（本蒟蒻的记忆力不好怕忘了）
感谢yyy大佬的热心指导
对拍大概是一种检验程序是否正确的东西
就是写一个暴力（确保是对的）与你写的正解比较
再写一个生成随机数据的代码
大致结构是这样的：
@echo off
:loop
make
bl
zj
fc zj.out bl.out
if errorlevel 1 pause
goto loop
（bl是暴力，zj是正解，make是生成数据的代码）
对拍
最新推荐文章于 2022-02-18 12:46:43 发布
扫一扫
607
评论 1
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
查看更多评论
添加红包
