洁净室测试 计算机系统验证小知识

洁净室检测中的计算机系统验证是由IBM*提出。这种测试在很大程度上取决于演练，检查和形式验证。除了使用编译器进行少量语法测试外，似乎不允许程序员通过体罚代码来检查其任何代码。计算机代码开发理念依赖于通过采用严格的检查方法来避免计算机代码缺陷。此计算机代码的目标是*计算机代码。

“ CLEAN ROOM”的名称源自与半导体制造单元的类比。在这些单元（无尘室）中，通过在超净气氛中产生避免了缺陷区域单元。在这种合理的开发过程中，为了确定零件与规格的一致性而进行的检查已代替了单元测试。

据报道，这种技术产生的文档和代码比各种严重依赖基于代码执行的测试的开发方法更加可靠和可修复。

洁净室检测中进行计算机代码开发的方法依赖于5个特征：

正式规范：
要开发的计算机代码已正式给出。使用状态转换模型来显示系统对刺激的响应，规格。

验证是检查软件是否达到其目标而没有任何错误的过程。这是确保开发的产品正确与否的过程。它验证开发的产品是否满足我们的要求。验证是静态测试。 
验证手段我们是否在制造正确的产品？ 

验证是检查软件产品是否符合要求或换句话说，产品是否具有较高要求的过程。这是检查产品有效性的过程，即检查我们正在开发的产品是否正确。这是对实际和预期产品的验证。验证是动态测试。 
验证手段我们是否在制造正确的产品？ 

验收和验证方式之间的区别如下：