2017软件测评师C程序解析：判定覆盖与控制流图

"2017年软件测评师考试真题及解析，涉及C程序的判定覆盖、控制流图和环路复杂度" 在软件测试领域，判定覆盖是一种常用的代码覆盖标准，它要求每个逻辑判断的每种可能的结果至少被执行一次。在给定的C程序中，我们需要找到满足100%DC（判定覆盖）的逻辑条件。 程序中有以下几个关键的逻辑判断： 1. `while(*string&&*string!='-)`：这个循环会继续当字符串非空且当前字符不等于'-'。 2. `if(!*string)`：如果字符串为空，退出循环。 3. `while(*string&&*string!="&&*string!='\n'&&*string!='\t')`：在字符串非空且当前字符不是'&'，'\n'或'\t'的情况下，继续处理。 为了达到100%的判定覆盖，我们必须确保这些条件的真假情况都被覆盖到。这意味着程序应该运行至少两次，一次使每个条件都为真，另一次为假。因此，满足问题1要求的条件组合包括： - 第一个while循环的条件：字符串非空且第一个字符不是'-'（T），以及字符串为空或第一个字符是'-'（F）。 - 第二个if语句的条件：字符串为空（T），以及字符串不为空（F）。 - 第二个while循环的条件：字符串非空且当前字符既不是'&'也不是'\n'或'\t'（T），以及当前字符是这些特殊字符之一（F）。 问题2要求画出程序的控制流图(CFG)并计算环路复杂度V(G)。控制流图是表示程序控制流程的图形表示，其中节点代表程序中的基本块，边代表控制流。在这个程序中，有三个明显的循环结构，每个都需要考虑真假两种情况。环路复杂度V(G)可以通过以下方法计算： - 对于每个循环，V(G)增加1。 - 对于每个非入口和非出口节点，V(G)减去1。 - 最后，加上2（因为每个CFG至少有两个节点：入口和出口）。 在本例中，有3个循环，2个基本块（入口和出口），所以V(G) = 3 - 2 + 2 = 3。然而，题目提到V(G)为8，可能是考虑到其他未明确显示的控制流结构或者错误的计算。 问题3要求列出控制流图的线性无关路径。线性无关路径是指两条不包含相同顺序的基本块序列的路径。在这个程序中，线性无关路径可能包括如下几种： - 跳过第一个while循环，进入第二个while循环，然后结束。 - 经过第一个while循环，不进入第二个while循环，然后结束。 - 经过第一个和第二个while循环，然后结束。 每个路径都应该确保覆盖了所有逻辑判断的所有可能结果，以满足判定覆盖的要求。 软件测评师需要理解并掌握程序的控制流、覆盖率标准如判定覆盖，以及如何通过这些标准评估代码的测试完整性。对于给定的C程序，我们需要识别和覆盖所有逻辑判断，构建控制流图，以及识别不同的执行路径，这些都是软件质量保证的重要部分。