(一)程式检验是指在程式开发的过程中，仔细检查程式码中的每一个副程式、函数、控制流程与逻辑关系，以确定程式与设计规范文件的要求一致。
(二)指将编写完成的程式码，用实际的资料代入执行，并检查执行的结果，以确定程式设计符合需求。