逻辑覆盖法是设计白盒测试用例的主要方法之一,它通过对程序逻辑结构的遍历实现程序的

题库2022-08-02  53

问题 逻辑覆盖法是设计白盒测试用例的主要方法之一,它通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序,按要求回答问题。gz_open (const char *mode){    char * p = (char*)mode;        //1    char  fmode[4];    char * m = fmode;    char  smode = ’\0’;    char  level = ’\0’;    int   strategy = 0;    do {      if (*p == ’r’)           //2        smode = ’r’;        //3        if (*p >= ’0’&& *p <= ’9’) {       //4,5          level = *p - ’0’;         //6        } else if (*p == ’f’) {            //7            strategy = 1;            //8            } else {            //9          *m++ = *p;                       }          *p++;            //10     }while (m != fmode + sizeof(fmode));         //11}               //12【问题1】请给出满足100%DC(判定覆盖)所需的逻辑条件。【问题2】请画出上述程序的控制流图,并计算其控制流图的环路复杂度V(G)。【问题3】假设函数gz_open的参数mode是由26个小写字母’a’-’z’、数字’0’-’9’以及空格组成的字符串,请使用基本路径测试法构造1个测试用例,使之覆盖所有基本路径。

选项

答案

解析 本题主要考查的是逻辑覆盖的相关内容。【问题1】判定覆盖即分支覆盖,对于每一个判定,都至少要取得一次真值和假值。在本题中,我们从程序中不难找出所有的逻辑判断语句,很显然在题目给出的程序中,包含的逻辑判断语句有:*p == ’r’、*p >= ’0’&& *p <= ’9’、*p == ’f’及m != fmode + sizeof(fmode)。那么首先是判定*p == ’r’,应分别设置其为真与为假的情况;然后是*p >= ’0’&& *p <= ’9’,设置其为真,然后设置其为假,在为假的情况下,出现判定*p == ’f’,分别设计其为真和假;最后是m != fmode + sizeof(fmode),分别设置真、假即可。【问题2】根据题目程序的意思,我们可以知道其控制流图如下所示:而它的V(G)=6。【问题3】本问题考查白盒测试用例设计方法中的基本路径法,涉及到的知识点包括:根据控制流程图和环路复杂度设计测试用例。注意环路复杂度只是测试用例数的上限,本题中程序的环路复杂度为6 ,因此测试用例上限为6,但本题程序比较特殊,只需要一个测试用例即可实现。例如构造一个6个字符构成的字符串(设为x,y,z,u,v,w6个字符),使得每个字符覆盖一条基本路径即可。其中x=’r’,y=’f’,z属于[’0’ - ’9’],u<’0’,v>’9’并且V!=‘f’,w任意,这6个字符可以任意排列
转载请注明原文地址:https://tihaiku.com/congyezige/2417722.html

最新回复(0)