白盒测试：覆盖测试及测试用例设计

一、实验目的

1、掌握白盒测试的概念。

2、掌握逻辑覆盖法。

二、实验任务

      
一元二次方程式 ax2+bx+c=0的求根程序有以下功能：
1）输入A、B、C三个系数；
2）根据根的性质的：两个相等或不相等的实根，或无实根，输出相应的结果。
提示： 时，方程ax2+bx+c=0的解

【实验要求】
1） 绘制程序流图
2） 根据流程图得出白盒测试法（语句覆盖、判定覆盖、条件覆盖、条件组合覆盖）测试用例表
3） 用c或java实现功能
4）利用设计好的程序和测试用例，在相应的编程环境中进行测试，给出测试的结果（结果以截图方式表示即可）。

实验步骤：

1、画出程序流程图

判定1：a=0；

判定2：d>=0；

判定3：d=0；

2、根据逻辑覆盖法的六种覆盖标准设计测试用例，得到6张测试用例表

1、语句覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

2、判定覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

3、条件覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

4、条件/判定覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

5、条件组合覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

6、修正条件判定覆盖：分别需要执行1、3、4、6、8和1、3、4、7、8和1、3、5、8和1、2、8；

6个判定覆盖的测试用例都相同，因为已经包含所有语句了

3、执行测试，填写软件缺陷报告。

测试用例结果截图

三、软件缺陷报告

四、代码：

import java.util.Scanner;

public class Main {
    public static void main(String[] args) {
        while (true) {
            double a;
            System.out.println("输入a的值:");
            Scanner input = new Scanner(System.in);
            a = input.nextDouble();
            if (a == 0) {
                System.out.println("输入的不是一元二次次方程");
                System.exit(1);
            }
            System.out.println("输入b的值:");
            Scanner input1 = new Scanner(System.in);
            double b = input1.nextDouble();
            System.out.println("输入c的值:");
            Scanner input2 = new Scanner(System.in);
            double c = input2.nextDouble();
            double d = b * b - 4 * a * c;        //根据b^2-4ac判断方程可解性
            if (d < 0)
                System.out.println("方程无解");
            else if (d == 0)
                System.out.println("方程有一个解:" + -b / (2 * a));
            else
                System.out.println("方程有两个解：" + (-b + Math.sqrt(d)) / (2 * a) + "和" + (-b - Math.sqrt(d)) / (2 * a));//Math.sqrt()用来开平方
        }
    }

}

记录学习、记录生活，最后，我们终将会成为自己想成为的人✌✌✌