的系统结构数据接口内部控制逻辑等内部结构，生成函数调用关系图模块控制流图内部文件调用关系图子程序表宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。包括控制流分析数据流分析信息流分析接口分析表达式分析等。•常用的关系图主要有函数调用关系图和模块控制流图。函数调用关系图列出所有函数，用连线表示调用关系，通过应用程序各函数之间的调用关系展示了系统的结构，利用函数调用关系图可以检查函数的调用关系是否正确，是否存在孤立的函数而没有被调用，明确函数被调用的频繁度，对调用频繁的函数可以重点检查。通过查杂度确定线性无关的路径的基本集生成测试用例，确保基本路径集中每条路径的执行。•每个测试用例执行后与预期结果进行比较，如果所有测试用例都执行完毕，则可以确信程序中所有可执行语句至少被执行了次。但是必须注意，些路径往往不是完全孤立的，有时它是程序正常控制流的部分，这时对这些路径的测试可以是另条测试路径的部分。白盒测试方法选择•白盒测试的每种测试方法都有各自的优点和不足，需要测试人员根据实际软件特点实际测试目标和测试阶段选择合适的方法设计测试用例，这样能能有效的发现软件错误，提高测试效率和测试覆盖率。以下是选择方法的几条经验在测试中，可采取先静态再动态的组合方式，先进行代码检查和静态结构分析，再进行覆盖测试利用静态分析的结果作为引导，通过代码检查和动态测试的方式对静态分析的结果做进步确认覆盖测试是白盒测试的重点，般可使用基本路径测试法达到语句覆盖标准，对于软件的重点模块，应使用多种覆盖标准衡量测试的覆盖率在不同的测试阶段测试重点不同，在单元测试阶段，以代码检查覆盖测试为主，在集成测试阶段，需要增加静态结构分析等，在系统测试阶段，应根据黑盒测试的结果，采用相应的白盒测试方法。白盒测试和黑盒测试比较•白盒测试和黑盒测试各有侧重点，不能相互取代，在实际测试活动中，这两种测试方法不是截然分开的。通常在白盒测试中交叉着黑盒测试，黑盒测试中交叉着白盒测试。相对来说，白盒测试比黑盒测试成本要高得多，它需要测试在可以被计划前产生源代码，并且在确定合适数据和决定软件是否正确方面需要花费更多的工作量。黑盒测试白盒测试不涉及程序结构考察程序逻辑结构用软件规格说明书生成测试用例用程序结构信息生成测试用例可适用于从单元测试到系统验收测试主要适用于单元测试和集成测试些代码段得不到测试对所有逻辑路径进行测试•灰盒测试是介于白盒测试和黑盒测试之间的测试方法，它关注输出对于输入的正确性，同时也关注内部表现，但是不像白盒测试那样详细完整，只是通过些表征性的现象事件标志来判断内部的运行状态。有时候输出是正确的，但是程序内部已经是错误的，这种情况非常多，如果每次都通过白盒测试来操作，效率会很低，因此可采取灰盒测试这种方法。•灰盒测试结合了白盒测试和黑盒测试的要素，考虑了用户端特定的系统知识和操作环境。它在系统组件的协同性环境中评价应用软件的设计。可以认为，集成测试就是类灰盒测试。本章习题什么是白盒测试，包括哪些技术代码检查法主要包括哪些主要内容，可以产生哪些基本因素静态结构分析法主要基于哪些图表或数据程序插桩的基本原则是什么逻辑覆盖法包括哪些内容，分别要求达到怎样的代码覆盖率给出白盒测试与黑盒测试的不同利用基本路径测试技术为以下段程序设计测试用例第章白盒测试本章要点•白盒测试，有时也称为玻璃盒测试结构化测试逻辑驱动测试等，它关注软件产品的内部细节和逻辑结构，即把被测的程序看成是个透明的盒子。白盒测试利用构件层设计的部分而描述的控制结构来生成测试用例，需要对系统内部结构和工作原理有个清楚的了解。白盒测试的准备时间较长，如果要完成覆盖全部程序语句分支的测试，般要花费比编程更长的时间。白盒测试对技术的要求较高，测试成本也比较大。•白盒测试可以分为静态测试和动态测试。静态测试不通过执行程序而进行测试，其关键是检查软件的表示与描述是否致，是否存在冲突或者歧义动态测试需要执行程序，当程序在模拟的或真实的环境中执行之前之中和之后，对程序行为分析，主要验证个程序在检查状态下是否正确。•白盒测试也有多种方法，比如代码检查法，静态结构分析法，程序插桩技术，逻辑覆盖法，基本路径法等。代码检查法和静态结构分析法属于静态测试，程序插桩技术，逻辑覆盖法和基本路径法属于动态测试。代码检查法•代码检查法包括桌面检查代码审查和走查等。它主要检查代码和设计的致性，代码对标准的遵循，可读性，代码逻辑表达正确性，代码结构合理性等方面发现程序中不安全不明确和模糊部分，找出程序中不可移植部分发现违背程序编写风格问题。其中包括变量检查命名和类型审查程序逻辑审查程序语法检查和程序结构检查等内容。桌面检查代码审查走查•代码检查过程中，也将产生该源代码的变量交叉引用表，函数和宏定义表，常量表等内容，组成源代码的些有用信息。静态结构分析法•静态结构分析是种对代码机械性的程式化的特性进行分析的方法。在静态结构分析中，测试者通过使用测试工具分析程序源代码的系统结构数据接口内部控制逻辑等内部结构，生成函数调用关系图模块控制流图内部文件调用关系图子程序表宏和函数参数表等各类图形图表，可以清晰地标识整个软件系统的组成结构，使其便于阅读和理解，然后可以通过分析这些图表，检查软件有没有存在缺陷或错误。包括控制流分析数据流分析信息流分析接口分析表达式分析等。•常用的关系图主要有函数调用关系图和模块控制流图。函数调用关系图列出所有函数，用连线表示调用关系，通过应用程序各函数之间的调用关系展示了系统的结构，利用函数调用关系图可以检查函数的调用关系是否正确，是否存在孤立的函数而没有被调用，明确函数被调用的频繁度，对调用频繁的函数可以重点检查。通过查看函数调用关系图，可以发现系统是否存在结构缺陷，发现哪些函数是重要的，哪些是次要的，需要使用什么级别的覆盖要求等模块控制流图是由许多节点和连接节点的边组成的图形，其中每个节点代表条或多条语句，边表示控制流向，模块控制流图可以直观的反映出个函数的内部结构，通过检查这些模块控制流图可以很快的发现软件错误与缺陷。•静态错误分析用于确认在源程序中是否存在类错误的危险结构。有以下