白盒测试——实验报告，对冒泡排序的基本路径、主路径、变异测试

最新推荐文章于 2024-09-16 22:05:52 发布

原创最新推荐文章于 2024-09-16 22:05:52 发布 · 1.6k 阅读

34 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

标签

#单元测试 #测试用例

文章详细探讨了白盒测试中的控制流图、基本路径测试在冒泡排序程序中的应用，包括测试路径覆盖和变异测试对程序正确性的验证。通过Java实现的冒泡排序代码展示了测试过程。

白盒测试

循环结构的程序代码

用Java语言的冒泡排序

@Test

    public void bubbleSort(){

        int sortArr[] = {10,1,2,4,6,7,8,9,3,5};

         //冒泡排序主要算法代码实现

        for (int i = 0; i < sortArr.length - 1; i++) {

            for (int j = 0; j < sortArr.length - 1 - i; j++) {

                if (sortArr[j] > sortArr[j + 1]) {

                    int temp = sortArr[j];

                    sortArr[j] = sortArr[j + 1];

                    sortArr[j + 1] = temp;

                }

            }

        }

        for (int i = 0; i < sortArr.length; i++) {

            System.out.print(sortArr[i] + "\t");

        }

        //输出结果如下：1  2 3  4  5  6  7  8  9  10

}

控制流图

首先得到冒泡排序的流程图：

根据流程图得到控制流图：

基本路径测试

环路复杂度：4

测试1：

S → a → b → E

测试数据：

int sortArr[] = {};

测试2：

S → a → b → c → d → e → f → g → c → d → h → b → E

测试数据：

int sortArr[] = {3,2};

测试3：

S → a → b → c → d → h → b → E

测试数据：

int sortArr[] = {3};

测试4：

S → a → b → c → d → e → g → c → d → h → b → E

测试数据：

int sortArr[] = {1, 2};

主路径测试

主路径：

SabE Sabcdefg Sabcdh Sabcdeg

bcdhb dhbcd hbcdh

cdegc gcdeg egcde degcd

cdefgc gcdefg fgcdef efgcde defgcd

egcdhbE efgcdhbE

测试路径：

测试路径	覆盖的主路径	测试数据sortArr[]
S → a → b → E	SabE	{}
S→a→b→c→d→e→f→g→c→d→h→b→E	efgcdhbE,Sabcdefg,defgcd,cdefgc	{3，2}
S → a → b → c →d→h→b→E	Sabcdh,bcdhb	{3}
S→a→b→c→d→e→g→c→d→h→b→E	Sabcdeg,cdegc,degcd	{1，2}
S→a→b→c→d→e→g→c→d→e→g→c→d→h→b→E	gcdeg，egcde	{1，2，3}
S→a→b→c→d→e→f→g→c→d→e→f→g→c→d→h→b→E	gcdefg，fgcdef，efgcde	{3，2，1}
无法设计测试路径	dhbcd，hbcdh