摘要：对于【软件评测师】软考考试而言，试题无疑是最重要的学习资料之一。在软考备考过程中，吃透试题、掌握试题所考知识点、熟悉试题的出题思路，对我们提升分数的效果是最明显的，通过对试题的反复练习，还可以查漏补缺。今天，给大家带来【【下午题】软件评测师·2019年11月】部分试题的详解，一起来看看吧~



1、阅读下列C 程序，回答问题1至问题3，将解答填入答题纸的对应栏内。【C 程序】【问题1】（6分）   请针对上述C程序给出满足100%DC（判定覆盖）所需的逻辑条件。【问题2】（6分）   请画出上述程序的控制流图，并计算其控制流图的环路复杂度 v(G)。【问题3】（8分）   请给出问题2中控制流图的线性无关路径。
答案:

【问题1】

1、buf_len > 512

2、buf_len <= 512

3、buf_len == 0

4、buf_len != 0

5、i < total_bytes

6、i >= total_bytes

7、buf_c[i] == ‘\0’

8、buf_c[i] != ‘\0’

9、buf_c[i] < 7 || buf_c[i] >14

10、buf_c[i] >= 7 && buf_c[i]<= 14

11、i >= 32

12、i < 32

【问题2】
（1）   控制流图如下图所示：

（2）V(G)=7+1=8 

【问题3】
(1) 1-2-4-5-13

(2) 1-3-4-5-13

(3) 1-2-4-6-13

(4) 1-2-4-6-7-8-13

(5) 1-2-4-6-7-9-11-12-13

(6)  1-2-4-6-7-9-10-11-12-13

(7)  1-2-4-6-7-9-10-6…

(8)  1-2-4-6-7-9-11-6…

答题解析:

【问题1】

本小题考查白盒测试中的判定覆盖法。

判定覆盖指设计足够的测试用例，使得被测程序中每个判定表达式至少获得一次 “真”值和“假”值，从而使程序的每一个分支至少都通过一次。本题中程序一共有6个判定，所以满足判定覆盖一共就需要12个逻辑条件，这些条件详见上述答案。

【问题2】

本题考查白盒测试方法中的基本路径法。涉及到的知识点包括：根据代码绘制控制流图、计算环路复杂度。

控制流图是描述程序控制流的一种图示方法。其基本符号有圆圈和箭线：圆圈为控制流图中的一个结点，表示一个或多个无分支的语句；带箭头的线段称为边或连接，表示控制流。基本结构如下所示：

其中要特别注意的是，如果判断中的条件表达式是复合条件，即条件表达式是由一个或多个逻辑运算符连接的逻辑表达式，则需要改变复合条件的判断为一系列之单个条件的嵌套的判断。

环路复杂度用来衡量一个程序模块所包含的判定结构的复杂程度。环路复杂度等于右图中的判定的节点个数加1。图中判定节点个数为7，所以V(G)=7+1=8。

控制流程图的环路复杂性 V(G)一共有以下三种方法，但是最后一种最好用，不易出错。

（1）控制流程图中的区域个数。

（2）边数-结点数+2。

（3）判定数+1。

【问题3】

本小题考查白盒测试用例设计方法之基本路径法。涉及到根据控制流图和环路复杂度给出线性无关路径。

线性无关路径：指包含一组以前没有处理的语句或条件的路径。从控制流图上来看，一条线性无关路径是至少包含一条在其他线性无关路径中从未有过的边的路径。

程序的环路复杂度等于线性无关路径的条数，所以本题中有8条线性无关路径。这8条路径组成了问题2中控制流图的一个基本路径集。只要设计出的测试用例能确保这些基本路径的执行，就可以使程序中的每个可执行语句至少执行一次，每个条件的取真和取假分支也能得到测试。需要注意的是，基本路径集不是唯一的，对于给定的控制流图，可以得到不同的基本路径集。

查看完整试题>>>