程序验证的网络释义
程序员从早期程序设计起,就面临要证明他们的程序达到某种预定目的的任务,这就是程序验证。早期计算机主要用于数学计算,人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广,程序验证的任务变得非常困难,这就导致了对基于测试的精巧技术的研究,即它基于计算机程序是一种人工制品,通过实验过程一定能揭示它的多种属性这种思想基础。
繁体字转换器为您提供程序验证繁体,程序验证的老写,程序验证的繁体,程序验证的繁体字如何写,程序验证的繁体字,程序验证的繁体字转换对照,程序验证的简繁体互转,程序验证的繁体字怎么写,程序验证繁体字,程序验证繁体笔画,程序验证的简繁体字怎么写,程序验证简体繁体转换,怎么写程序验证的繁体字,程序验证的繁体怎么写等程序验证繁体字在线查询。