软件测试单元测试（逻辑覆盖法）

最新推荐文章于 2024-06-21 15:28:35 发布

原创

最新推荐文章于 2024-06-21 15:28:35 发布 · 608 阅读

8 ·

CC 4.0 BY-SA版权

文章标签：

#单元测试

本文介绍了单元测试的概念，强调其在检测功能和设计约束中的作用，并详细讲解了逻辑覆盖法的几种形式，包括分支判定覆盖、条件覆盖、分支-条件覆盖、条件组合覆盖以及路径覆盖中的基本路径覆盖，旨在帮助开发者设计更全面的测试用例。

单元测试的定义：单元测试是对软件的基本组成单元进行的测试，如函数、类或类的方法。

单元测试的目的：

检查每个软件单元能否正确地实现设计说明中的功能、性能、接口和其他设计约束等要求；
发现单元内部可能存在的各种差错；
提高软件质量。

为了清晰地比较几种逻辑覆盖法设计测试用例的异同，逻辑覆盖法设计测试用例的几种方法我们都将使用以下代码为例。（为了方便在测试用例中进行标识，笔者在语句前标上了序号）

    public static int test(int a,int b,int c) {
1         int result = 0;
2         if(a == 0 or b > 2) {
3             result = b - a;
          }
4         if(a > 0 and c > 0 ) {
5             result = c * a;
        }
6        return result;
    }

使用语句覆盖法设计白盒测试用例的具体步骤如下：

第 1 步：分析待测试程序，画出程序的流程图。上述代码的参考流程图如下图所示（为了方便后面的讲解，笔者在流程图中标上了序号）。如果对语句覆盖法比较熟悉或代码逻辑比较简单，也可以省略画流程图这一个步骤。