• 其他词汇： 程序检验 程序验证 程式验证 程序检验技术

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