验证程序 核证程序 听证程序 证明程序 程序验证 论证程序 程序保证 引证程序 鉴证程序 证实程序 程序检查 程序检验 检错程序 检读程序 自检程序 程序检读 程序校检 校检程序 检验程序 检查程序 程序证明 检索程序 检测程序 检误程序 实证性程序 程序检验带 程序验证器 微程序验证 子程序检验 宏检查程序 按程序检查 程序员检查 自检验程序 检验程序段 检验子程序 检定程序表 程序检查点 零检验程序 用程序检验 检查子程序 检查点程序 微程序检验 块检验程序 检索程序包 检查站程序 检验点程序 程序特许凭证 证明寻找程序 自动程序验证 并行程序验证 处理程序验证 程序请求凭证 程序使用赁证 编译程序证实 自动程序证明 程序使用凭证 定理证明程序 安装验证程序 质量保证程序 解析程序证明 证据提示程序 并行程序证明 结构程序验证 证据保全程序 测试验证程序 协议验证程序 存储检索程序 证明检验程序 循环检查程序 模块检查程序 程序检查时间 检验程序试验 算后检查程序 信息检索程序 程序错误检测 检验点子程序 测试检查程序 正常检查程序 程序设计检验 顺序检验程序 序列检验程序 汇编程序检查 综合检测程序 次序检验程序 标准检查程序 拼写检查程序 自动检错程序 联机检查程序 数控程序检验 跟踪检验程序 检查编译程序 假设检验程序 程序检查中断 程序检验操作 断言检查程序 遗嘱检验程序 文法检查程序 中断检验程序 标准检测程序 检验编译程序 错误检验程序 联机检验程序 基准检测程序 跳步检验程序 程序检测误差 维修检验程序 故障检查程序 代码检查程序 程序检验系统 接口检查程序 检查例行程序 程序检查条件 编译程序检验 程序检验时间 实时检验程序 写入检验程序 维修检查程序 检测监督程序 健康检查程序 比较检错程序 自动检测程序 错误检测程序 缝隙检验程序 事先检验程序 程序检验日志 通道检错程序 通用检错程序 通用检验程序 方向检索程序 检验翻译程序 检验监控程序 编译程序检查 检查点子程序 测试检验程序 核心检测程序 自动检验程序 语法检查程序 数据检验程序 数组检索程序 受控检错程序 部件检验程序 错误检查程序 存储检查程序 程序性体格检查 微程序检索操作 自动程序验证器 预编辑检查程序 标准化检查程序 飞行前检查程序 程序正确性检查 可信度检测程序 程序正确性证明 测试和验证程序 实证性审计程序 程序和证据规则 许可证审批程序 中间程序块检查 许可证批准程序 马克曼听证程序 详细检查程序表 二分法检索程序 对分检索子程序 计算机检验程序 有效性检验程序 存储器检查程序 完整性检查程序 条件检验程序块 置信度检测程序 完整性检验程序 飞行前检验程序 自动程序验证系统 质量保证控制程序 服务程序检验程序 发给程序以专利证 校检程序检验程序 程序检验程序检验 检读程序检读程序 应享权利证书程序 程序证实服务程序 验证条件生成程序 计量认证标准程序 编译程序验证系统 管理程序检验程序 程序设计逻辑证明 误差检测例行程序 文件地址检验程序 通用监控检验程序 受控算后检错程序 测试检测例行程序 程序检查定单技术 求差和检验子程序 机器检查处理程序 通道检错处理程序 程序设计错误检测 自动程序检查设备 火箭检查操作程序 通用算后检查程序 语法检查程序命令 错误检测例行程序 计数抽样检验程序 数据控制程序检验 算后检查例行程序 面向队列检索程序 通道检验处理程序 通道检测处理程序 联机检验执行程序 自动检查例行程序 自动交互检测程序 可控算后检查程序 多道程序情报检索 通用监督检查程序 自动程序逻辑检查 丢失中断检测程序 检查文件程序地址 用户安全检验程序 检测程序设计错误 内部数学和程序保证 程序鉴定和检查技术 程序评价和检查技术 程序检查, 程序控制 检验子程序校验子程序 固件化, 微程序保证 程序验证, 程序确认 基本逻辑理论证明程序 库存管理检查规则程序 多道程序控制情报检索 数字计算机的程序检验 地址分类检查例行程序 核电站运行质量保证程序 核电厂运行质量保证程序 错误检测程序, 捡错程序 错误检测程序, 检错程序 程序检查, 程序控制程序检查 检验程序, 测试例程检验程序 语法分析程序, 语法检查程序 程序检测误差, 程序敏感性误差 测试程序, 检验程序, 试验程序 语法分析程序, 语法检查程序语法分析程序