程序验证
程序员从早期程序设计起，就面临要证明他们的程序达到某种预定目的的任务，这就是程序验证。早期计算机主要用于数学计算，人们通过对数据的某一子集用人工复杂的简单过程验证他们的程序。随着计算机应用的推广，程序验证的任务变得非常困难，这就导致了对基于测试的精巧技术的研究，即它基于计算机程序是一种人工制品，通过...
资源总数
500
程序验证 全部资料 500 份
副车架静力学分析及试验验证
为评估国外某车型的副车架是否符合中国的路况，采用计算机仿真与试验相结合手段，通过有限元应力应变分析，计算了制动与加速两种典型工况，并进行了试验验证，成功验证了某副车架结构设计符合中国的路况，提高了计算
2024-04-02
2
IEC60950产品验证经典标准
IEC60950产品验证经典标准 产品安全性(Product safety)是指产品在正常使用中，非破坏或刻意损坏下，应具有的安全性。产品安全也是开发流程中的重要一环，一般都由政府或是具有公信力且地位超然的机构制订标准。 对于安全性规范的...
2013-07-25
22