找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。 — 拼音 chéng xù yàn zhèng，更新 2026-07-13 03:14:43
| 拼音 | chéng xù yàn zhèng |
|---|---|
| 拼音字母 | cheng xu yan zheng |
| 首字母 | cxyz |
| 注音 | ㄔㄥˊ ㄒㄩˋ ㄧㄢˋ ㄓㄥˋ |
| 注音符号 | ㄔㄥ ㄒㄩ ㄧㄢ ㄓㄥ |