zoukankan      html  css  js  c++  java
  • 语句覆盖、判断覆盖、条件覆盖、条件判定组合覆盖、多条件覆盖、修正条件覆盖

    int function(bool a,bool b,bool c){
       int x;
       x=0;
      if(a&&(b||c)){
         x=1;
         return x;  
        }
    }

    1、语句覆盖(SC)

    选择足够多的测试数据,使得被测程序中的每条语句至少执行一次。

    测试用例:a=T,b=T,c=T

    2、判断覆盖(DC)

    设计足够的测试用例,使得程序中的每个判定至少都获得一次真值或假值。或者使得程序中的每一个取真分支和取假分支至少经历一次,因此判定覆盖又称为分支覆盖。

    序号 a b c a&&(b||c) a||(b||c) 判定覆盖率
    1 T T T T T 50
    2 F F F F F 50

    上述两组测试用例不仅满足了判定覆盖,而且满足了语句覆盖,从这一点看,判定覆盖要比语句覆盖更强一些,但是同样的,假如这一程序段中判定的逻辑运算有问题。判定的第一个运算符  &&  错写成运算符  || 。或者第二个运算符 ||  错写成运算符 &&,这时使用上面的测试用例可以达到100%的判定覆盖,仍然无法发现上述的逻辑问题。

    3、条件覆盖(CC)

    构造一组测试用例,使得每一判定语句中,每个逻辑条件的可能是至少满足一次。

    用例一:

    a=F,b=T,c=F

    a=T,b=F,c=T

    用例一在满足条件覆盖的同时,把判定的两个分支也覆盖了。是否可以说,达到了条件覆盖就必然实现了判定覆盖呢?

    用例二:

    a=F,b=T,c=T

    a=T,b=F,c=F

    用例二覆盖了条件的测试用例并没有覆盖分支。

     4、条件判定组合覆盖(CDC)

    设计足够的测试用例,使得判定中的每个条件的所有可能真或假,至少出现一次,并且每个判定本身的判定结果真或假也至少出现一次。

     

    5、多条件覆盖(MCC)

    设计足够多的测试用例,使得每个判定中条件的各种可能组合都至少出现一次。显然,满足多条件覆盖的测试用例是一定满足,判定覆盖、条件覆盖、条件判定组合覆盖的。

    测试用例指数级增加(2**conditions)

     

    6、修正条件覆盖(MCDC)

    它要求满足两个条件,首先,每一个程序模块的入口和出口都要考虑至少要被调用一次,每个程序的判定到所有可能的结果值要至少转换一次;其次程序的判定被分解为通过逻辑操作符(and、or)连接的bool条件,每个条件对于判定的结果值是独立的。

     

     从表中我们可以看出,布尔变量a可以通过用例1和5达到MCDC的要求(用例2和6或者用例3和7也可以满足相应要求)。变量b也可以通过用例2和4 达到MCDC的要求。变量c可以通过用例3和4达到MCDC的要求。因此用例集{1,2,3,4,5}即可满足MCDC的要求。显而易见,这不是唯一的用力结合

    a  1,5 (TF)        2,6(TF)       3,7(TF)       4,8(FF)  ---->符合条件:1,5 (TF)        2,6(TF)       3,7(TF)  

    b   1,3 (TT)       2,4(TF)       5,7(FF)       6,8(FF)  ---->符合条件:  2,4(TF) 

    c   1,2(TT)        3,4(TF)       5,6(FF)       7,8(FF)  ---->符合条件:  3,4(TF) 

    用例集:{1,2,3,4,5}

                    {2,3,4,6}

                    {2,3,4,7}

  • 相关阅读:
    darknet版本yolov3训练与测试
    Package opencv was not found in the pkg-config search path.
    ubuntu18.4下安装Anaconda及conda命令
    ubuntu18.4编译opencv4.1
    ubuntu18.4下cuda卸载
    抽象基类、访问控制与继承和继承中的类作用域
    C++ Pirmer : 第十五章 : 面向对象程序设计之基类和派生的定义、类型转换与继承与虚函数
    C++ Primer : : 第十四章 : 重载运算符与类型转换之类型转换运算符和重载匹配
    C++ Pirmer : 第十四章 : 重载运算符与类型转换之函数调用运算符与标准库的定义的函数对象
    C++ Primer : 第十四章 : 重载运算与类型转换之重载运算符
  • 原文地址:https://www.cnblogs.com/ychun/p/14371898.html
Copyright © 2011-2022 走看看