程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过实验过程一定能揭示它的多种属性这种思想基础。
网络释义专业释义
...通大学朱惠彪 教授 华东师范大学刘静 教授 华东师范大学郁文生 教授 华东师范大学 第一章 绪论 程序验证（program verification）是研究程序正确性的理论，足计算机程序设计领域的传统研究课题，但迄今为止，对常见的绝大多数程序而言，实现完全的『F确性验证还...
基于344个网页-相关网页
... program unit 程序单位 program validation 程序验证 program verification 程序验证 ...
基于200个网页-相关网页
...恒、能量守恒判据 —— 给出计算中质量、能量守恒情况6 舍入误差 —— 研究和采用舍入误差小的计算程序验证（Code Verification ） 正确求解 计算程序 物理模型 程序的错误 输入数据的错误 查验 未认知误差 编程错误 ……
基于16个网页-相关网页
短语
程序验证与测试 program verification and testing
应用程序验证 Application Verificer ; Application Verification
自动程序验证系统 [计] automatic program verification system
计算机程序验证 computer program verification
驱动程序验证器 Driver Verifier
应用程序验证工具 Application Verifier ; Toepassingscontrole ; Weryfikator aplikacji ; Programverifieraren
应用程序验证器 Application Verifier
程序验证器 [计] program verifier
生产程序验证项目 P Production Process prove out Program
-
program verification - 引用次数：29 参考来源 - 面向方面的模块化推理框架研究program certification - 引用次数：2 参考来源 - 形式化B方法及在因子网络建模中的应用programming verification - 引用次数：2
The research of programming verification using contract appeared as early as 1970s in the research of large system.
基于契约进行程序验证的理论最早出现于20世纪70年代对大型系统的研究之中。
参考来源 - 基于契约式设计的VeriJava编程语言设计program validation - 引用次数：1 参考来源 - 过程间数据流分析技术研究verificafion of programs -
program verification
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
这个应用程序验证输入到输入域中的邮政编码。
The application validates postal codes entered into an entry field.
-
应用程序验证标识符(将用户定向到其OP以进行登录)。
The application verifies the Identifier (by directing the user to her OP to sign in).
-
清单7a .为系统管理程序验证网络发现-请求。
Listing 7a. Verify network discovery for the hypervisor - request.
-
There's unit testing, where we validate each piece of the program independently.
一种是单元测试，也就是,分别验证程序中的每一个独立部分。
-
I'm checking that I didn't leave my program because I didn't find an answer. Well this is a good thing, it's better than my program running forever, but it's a bad thing because I don't have it the square root of 0.25.
我对计数器要做个验证,因为我不会没得到答案就退出程序,好，这其实是个好事,因为它不会让我的程序永远跑下去，但这也是件坏事因为,我没得到0。25的平方根。
应用推荐
$firstVoiceSent
- 来自原声例句