“对拍”方法在程序验证中的应用

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘要：在编程实践中，如何验证所写程序是否正确有很多方法，“对拍”是常用的一种。介绍了“对拍”的基本概念、应用场景，以两个数求和为例详细说明了“对拍”的过程，在此基础上使用Java语言开发了图形用户界面的判题工具，该工具利用对拍原理，基于给定多组样例数据，对用户提交的程序的正确性进行验证并给出反例，操作界面友好，操作方便，提高了程序验证的效率。（剩余6141字）

试读结束

目录
monitor