程序检验

program check 1．由输入输出通道所检测到因程序设计错误引起的一种中断状况，例如企图向并不存在的存储器进行写入；2．用相同程序设计和已知答案的样本题目进行求解，或用A乘B和B乘A进行比较的数学或逻辑检验的办法，来确定正确的程序和机器的系统；3．不拥有自动检验功能的程序或计算机中内装的一种检验系统。此检验系统通常采用于在不拥有内部检验功能的计算机上运行的一些程序中。参见“输入输出”。