软件工程 |洁净室测试

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

“洁净室”这个名字来源于与半导体制造单元的类比。在这些单元（无尘室）中，通过在超净气氛中生产避免了缺陷区域单元。在这个合理的发展过程中，检查以确定零件与其规格的一致性已经取代了单元测试。

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

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

1. 正式规格：
   正式给出要开发的计算机代码。使用显示系统对刺激的响应的状态转换模型来精确规范。
2. 增量开发：
   计算机代码被划分为区域单元开发的增量，并且在个人基础上对白室方法有效。在该方法的早期阶段，这些增量区域单位在客户输入的情况下给出。
3. 结构化编程：
   只有有限范围的管理和信息抽象构造了使用的区域单元。程序开发方法是逐步细化规范的方法。
4. 静态验证：
   所开发的计算机代码经过严格的计算机代码检查静态验证。代码部分没有单元或模块测试方法。
5. 系统统计测试：
   对集成的计算机代码增量进行统计测试，以确定其职责。这些应用数学测试领域单元支持与系统规范并行开发的操作配置文件。

注意：这种方法的主要缺点是测试工作量增加，因为演练、检查和验证区域单位时间过多。