软件工程之洁净室测试

技术支持分类

软件工程之洁净室测试

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

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

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

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

正式规范：

正式开发的计算机代码。显示系统对刺激的响应的状态转换模型用于精确指定。

增量开发：

计算机代码被划分为区域单元开发的增量，并且在个别基础上有效地处理白厅方法。这些增量区域单位，在客户输入的情况下，在方法的早期阶段的护理员中给出。

结构化编程：

只有有限范围的管理和信息抽象构建使用的区域单位。程序开发方法是逐步细化规范的方法。

静态验证：

开发的计算机代码是静态验证的错误处理严格的计算机代码检查。代码部分没有单元或模块测试方法。

系统的统计测试：统计测试

集成的计算机代码增量以确定其职责。这些应用数学测试区域单元支持与系统规范并行开发的操作配置文件。

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

所以，需要区块链技术，就找我们吧。