2026上半年软考中级软件评测师第16章《基于结构的测试技术》考试知识点分值分布及试题如下：

第16章 基于结构的测试技术

一、分值分布

注：本部分内容为核心内容，但由于教程改版再加可公开使用的试题数有限，无法充分体现本章的实际考试情况，请大家按上述知识点检查！

二、试题示例

1.静态分析

以下关于软件静态测试中静态分析的叙述中，不正确的是（ ）。

A：通过数据流分析发现变量重复定义等缺陷

B：通过接口分析发现模块之间接口是否一致等缺陷

C：通过表达式分析发现数组下标越界等缺陷

D：通过控制流分析发现执行速度过慢等缺陷

答案：D

解析：

静态分析：是一种检查代码的方法，无需执行程序；静态分析提供了一种机制，可以审查代码结构、控制流和数据流，检测潜在的可移植性和可维护性的问题，计算适当的软件质量测度。

控制流分析：控制流分析方法是通过生存程序的有向控制流图来对代码进行分析。可发现逻辑判断和结构方面的缺陷。

数据流分析：是用来测试变量设置点和使用点之间的路径。可发现变量定义和使用方面的缺陷。

接口一致性的设计分析可以检查模块之间接口的一致性和模块与外部数据库之间接口的一致性。

表达式分析，可以发现表达式中出现的错误。

执行速度过慢等性能方面问题需要运行程序才能明确。静态的控制流分析是无法发现的。

2.控制流图分析

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

A：4

B：5

C：6

D：7

答案：C

解析：

控制流图的圈复杂度为程序逻辑复杂性提供定量的测度，该度量用于计算程序的基本独立路径数目，即保证所有语句至少执行一次的测试用例的数量。

McCabe圈复杂度：V（g）=边的数量-节点数量+2。本题为：19-15+2=6。

3.基于控制流设计用例

对于逻辑表达式(version==Z_NULL|| version[0]！=ZLIB_VERSION[0] ||stream_size!=(int)(sizeof(z_stream)))， 需要（ ）个测试用例才能完成分支条件组合测试。

A：2

B：4

C：8

D：16

答案：C

解析：

分支条件组合测试：设计足够的测试用例，使得每个判定语句中的所有判定条件的各种可能组合都至少出现一次。本题中条件有version==Z_NULL、version[0]!=ZLIB_VERSION[0]、Stream_size != (int)(sizeof(z_stream))等3个条件，3个条件的各种可能组合数量为：2的3次方，即8。