PIE 模型

1、BUG的三种类型——fault，error,failure

• fault：静态存在于软件中的缺陷，如字母拼写出错
• error：存在的错误，如空指针
• failure：已经在可以从外部观测到的失效的行为

2.PIE模型的三个必要条件

PIE模型：使用户或测试人员观测到failure的过程

• Execution/Reachability（执行）：执行时必须通过错误
• Infection（感染）:项目的状态必须是错误的
• Propagation（传播）：错误的中间状态必须传播到最后输出，使得观测到的输出结果和预期结果不一致，即失效。

3.tips

• 有些代码不会触发到fault
• 产生fault的程序，有可能不会产生error
• 有的程序员，有fault和error也有可能不会导致failure