软件测试与验证--失效模型

失效模型三个最重要的概念：

软件缺陷Fault（静态）-->软件错误Error（内部运行错误）-->软件失效Failure（结果）

区别如下：

软件错误Error是软件缺陷的表现形式，软件失效是与所期望的外部观察行为不符的结果。

通俗来讲，软件缺陷就是代码的某一行或多行写错了，比如求和函数中本来应该是sum=a+b；结果由于大意写成了sum=a-b;这就是软件缺陷（静态）；

软件错误一般是计算过程出错了，比如输入a=2;b=1;正确是sum=a+b=3,但是用sum=a-b=1;这就导致sum的值发生错误，我们也说是程序内部运行错误；

软件失效就是程序最终执行的结果和预期的不一致，假设预期输出是True，但实际输出是False，我们就说软件失效了，下面举例子说明：

//原函数
bool f(int a, int b) {
    int sum = a + b;
    if (sum > 4) {
        return true;
    }
    return false;
}

假设上面是原函数。那么软件缺陷就是下面的程序：

bool f(int a, int b) {
    int sum = a - b; //应该是a+b,（出现软件缺陷）
                   //由于软件缺陷的发生，导致sum的值发生变化，出现软件错误
    if (sum > 4) {
        return true;
    }
    return false;
}

例子：

P1：出现软件缺陷但是没有软件错误的例子？

以上面的函数为例，输入为a=0,b=0;

出现了软件缺陷a-b(应该是a+b)，但是sum的值都是sum=0+0=0-0=0;因此并没有出现软件错误。

P2：出现软件缺陷和软件错误但没有软件失效的例子？

以上面的函数为例，输入为a=100,b=1;

出现了软件缺陷a-b(应该是a+b)

出现了软件错误sum,应该是a+b=101，结果是a-b=99

但是无论如何，sum的值都大于4，即满足sum>4,因此函数bool f(int a,int b)的输出都是true,软件没有失效。

P3：出现软件缺陷和软件错误且软件失效的例子？

以上面的函数为例，输入为a=3,b=2;

预期结果：true;

实际结果：false;

软件失效。