题目详情

试题一（25分）
阅读下列说明，回答问题1至问题2，将解答填入答题纸的对应栏内。
【说明】
【说明】
逻辑覆盖法是设计白盒测试用例的主要方法之一，通过对程序逻辑结构的遍历实现程序的覆盖。针对以下由C语言编写的程序，按要求回答问题。



【问题1】
请给出满足100%DC(判定覆盖)所需的逻辑条件。

【问题2】
请画出上述程序的控制流图，并计算其控制流图的环路复杂度V(G)。

【问题3】
请给出问题2中控制流图的线性无关路径。