典型文献
"对拍"方法在程序验证中的应用
文献摘要：
在编程实践中,如何验证所写程序是否正确有很多方法,"对拍"是常用的一种.介绍了"对拍"的基本概念、应用场景,以两个数求和为例详细说明了"对拍"的过程,在此基础上使用Java语言开发了图形用户界面的判题工具,该工具利用对拍原理,基于给定多组样例数据,对用户提交的程序的正确性进行验证并给出反例,操作界面友好,操作方便,提高了程序验证的效率.
文献关键词：
程序验证;对拍;Java语言;图形化工具
中图分类号：
作者姓名：
谢玉韬;徐剑;李庆英
作者机构：
中国矿业大学(北京),北京100083;山东省泰安第二中学信息技术组,山东泰安271000
文献出处：
引用格式：
[1]谢玉韬;徐剑;李庆英-."对拍"方法在程序验证中的应用)[J].电脑知识与技术,2022(18):45-47
A类：
B类：
对拍,程序验证,在编,所写,确有,多方法,细说,Java,图形用户界面,样例,提交,反例,操作界面,面友,操作方便,图形化工具
AB值：
0.419288
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
