• 其他词汇： 程序校验条件 程序检验 程序验证 程式验证

• 更多词汇： 程序检验 程序规划核对 程式核对 程式测试