请问「程序验证」是什么意思？
2026-07-15 22:29:32
「程序验证」读音
拼音 chéng xù yàn zhèng，注音 ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ
| 拼音字母 | cheng xu yan zheng |
|---|---|
| 拼音首字母 | cxyz |
| 注音符号 | ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ |
| 注音首符号 | ㄔㄒㄧㄓ |
「程序验证」释义
扩展释义 程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
友情链接
抓书网 短词网 书号查询 星云网 艹部是什么意思？ 九一八事变后反侵略宣言次日就贴满沈阳街头是什么意思？ 白酒知识：三白酒概述是什么意思？ 查看贵州天气-西安明天天气 查看贵州天气 贵州是什么意思？ 精选范文是什么意思？ 身份证号归属地是什么意思？ 新时期以来的抗战胜利前后惩处汉奸研究是什么意思？ 英国短毛猫是什么意思？ 兴宁市属于哪个市是什么意思？ 银川天气预报30天是什么意思？ 土地公灵签是什么意思？ 冬天钓鱼用多大钩是什么意思？ 杨树小苗是什么意思？ 初中生暑假日记模板精选 有请阅读“初中生暑假日记模板”相关内容，也许本文能为您提是什么意思？ 入口即化爪是什么意思？ alkanes是什么意思？