第14章白盒测试技术

以下不属于软件编码规范评测内容的是（）。

A. 源程序文档化

B.数据说明方法

C. 语句结构

D. 算法逻辑

一个程序的控制流图中有 5 个节点、 9 条边，在测试用例数最少的情况下，确保程序中每个可执行语句至少执行一次所需测试用例数的上限是（）。

A. 2

B. 4

C.6

D.8

对于逻辑表达式(((a>0)&&(b>0))||c<5)，需要（）个测试用例才能完成条件组合覆盖。

A. 2

B. 4

C.8

D.16

对于逻辑表达式(((a>0)&&(b>0))||c<5)，需要（）个测试用例才能完成条件组合覆盖。

A. 2

B. 4

C.8

D.16

对于逻辑表达式( (b1&b2)||in)，需要（）个测试用例才能完成条件组合覆盖。

A.2

B.4

C.8

D.16

以下关于白盒测试的叙述中，不正确的是（）。

A.满足判定覆盖一定满足语句覆盖

B.满足条件覆盖一定满足判定覆盖

C.满足判定条件覆盖一定满足条件覆盖

D.满足条件组合覆盖一定满足判定条件覆盖

对于逻辑表达式((a||(b&c))||(c&&d))，需要（）个测试用例才能完成条件组合覆盖。

A.4

B.8

C.16

D.32

以下属于静态测试方法的是（）。

A.代码审查

B.判定覆盖

C.路径覆盖

D.语句覆盖

以下几种白盒覆盖测试中，覆盖准则最强的是( ) 。

A.语句覆盖

B.判定覆盖

C.条件覆盖

D.条件组合覆盖

对于逻辑表达式((a||b)||(c&&d))，需要( ) 个测试用例才能完成条件组合覆盖。

A.2

B.4

C.8

D.16

以下属于动态测试方法的是 ( ) 。

A.代码审查

B.静态结构测试

C.路径覆盖

D.技术评审

白盒测试不能发现（）。

A.代码路径中的错误

B.死循环

C.逻辑错误

D.功能错误

对于逻辑表达式（（a&&b）||c），需要（）个测试用例才能完成条件组合覆盖。

A.2

B.4

C.8

D.16

以下属于静态测试方法的是（）。

A.分支覆盖率分析

B.复杂度分析

C.系统压力测试

D.路径覆盖分析

对于逻辑表达式（a&&（b|c）），需要（）个测试用例才能完成条件组合覆盖

A.2

B.4

C.6

D.8

逻辑覆盖标准包括（）。

①判定覆盖②语句覆盖③条件判定覆盖④修正条件判定覆盖

A.①③

B.①②③

C.①②④

D.①②③④

以下关于白盒测试的叙述中，不正确的是（）。

A.白盒测试仅与程序的内部结构有关，完全可以不考虑程序的功能要求

B.逻辑覆盖法是一种常用的白盒测试方法

C.程序中存在很多判定和条件，不可能实现100%的条件覆盖

D.测试基于代码，无法确定设计正确与否

对于逻辑表达式((a&b)||c)，需要（）个测试用例才能完成条件组合覆盖。

A.2

B.3

C.4

D.5

逻辑覆盖法不包括（）。

A.分支覆盖

B.语句覆盖

C.需求覆盖

D.修正条件判定覆盖

白盒测试也称结构测试或逻辑驱动测试，典型的白盒测试方法包括静态测试和动态测试。其中，静态测试除了静态结构分析法、静态质量度量法外，还有（）。

A.代码检查法

B.逻辑覆盖法

C.基本路径测试法

D.结构覆盖法

计算以下控制流程图的环路复杂性V(G)，正确答案是（）。

A.V(G)=2

B.V(G)=4

C.V(G)=9

D.V(G)=11

假设A、B为布尔变量，对于逻辑表达式（ A && B || C ），需要（）个测试用例才能完成判定覆盖(DC)。

A.2

B.3

C.4

D.5

假设在程序控制流图中，有14条边，10个节点，则控制流程图的环路复杂性V(G)等于是（）。

A.12

B.8

C.6

D.4

针对以下C语言程序段，假设sta[10]= -1，对于x的取值，需要（）个测试用例能够满足分支覆盖的要求。

int MathMine( int x )

{

int m = 0;

int i;

for( i = x-1; i <= x + 1; i++ )

{

if ( i < 0 ) continue;

if ( i >31 ) break;

if ( sta[i] == -1 ) m++;

}

return m;

}

A.3

B.4

C.5

D.6