程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 热门资料
查看全部 500 份 →在对本程序的快速排序和归并排序这两种算法的正确与否进行验证时
在对本程序的快速排序和归并排序这两种算法的正确与否进行验证时，用手动输入的数据，本程序基本上完成了对输入数据进行的快速排序和归并排序!
2013-12-12
57
将数据库内的信息到指定网站验证,验证通过的记入数据库.利用webbrowser控件.
将数据库内的信息到指定网站验证,验证通过的记入数据库.利用webbrowser控件.
2016-02-02
186
编程实现CRC校验码的生成与利用CRC校验码进行正确性验证； 要求：1、任意给定二进制序列；（输入或程序中指定均可
编程实现CRC校验码的生成与利用CRC校验码进行正确性验证； 要求：1、任意给定二进制序列；（输入或程序中指定均可，但要屏幕回显）； 2、使用生成多项式11001，生成并显示CRC校验码； 3、给定二进制序列及相应CRC校验码，...
2013-12-22
89
利用频域时钟抖动分析加快设计验证过程
随着数据速率的提高，时钟抖动分析的需求也在与日俱增。在高速串行数据链路中，时钟抖动会影响发射机、传输线和接收机的数据抖动。保证时钟质量的测量也在不断发展。目前的重点是针对比特误码率，在时钟性能和系统性
2024-04-01
3
385-PCF8591 DA转换实验，51单片机C语言小程序，通过验证，简单易懂，对学习很有帮助。
385-PCF8591 DA转换实验，51单片机C语言小程序，通过验证，简单易懂，对学习很有帮助。
2022-11-11
8