程序校验 meaning in Chinese

program checkout
program testing
programmed check
routine checkout

The calculation method of the uncertainty of the examination by error theory is introduced . the semi - automatic method to examine the digital meter by vb technique and the problems existed in the process are discussed . the program flow diagram and part of program are given
使其具有测试、数据处理、数据存贮、证书打印、查询文档等功能；介绍了检测软件主要设计过程；利用误差理论分析了误差，详细介绍了不确定度的计算方法；介绍了利用visualbasic软件技术对数字表进行半自动校验的实现方法及所应注意的问题，给出了程序校验流程图及部分程序。