程序验证

程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...

资源总数
500

程序验证 全部资料 500 份

IEC60950产品验证经典标准 产品安全性(Product safety)是指产品在正常使用中，非破坏或刻意损坏下，应具有的安全性。产品安全也是开发流程中的重要一环，一般都由政府或是具有公信力且地位超然的机构制订标准。 对于安全性规范的...

2023-06-09 10 程序验证

同样为linux认证程序，但这个较适合应用，只要将.conf文件中的用户名和密码设置好（即为在校园网下认证的用户名密码），再将其和mystar拷贝到/etc下,在终端执行mystar即可

2013-12-30 76 程序验证