白盒测试技术

 1.白盒测试基本技术：词法分析与语法分析（分析建立各种表）、静态错误分析法（数据类型和单位分析、变量引用分析、表达式分析、接口分析）、程序插桩技术。

2.插桩技术的一些名词：程序插桩（program instruction）、探测点、断言（assertions）

3.白盒测试方法：代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试

4.代码检查包括桌面检查、代码审查和走查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码逻辑表达的正确性，代码结构的合理性等方面；发现违背程序编写标准的问题，程序中不安全、不明确和模糊地部分，找出程序中不可移植的部分、违背程序编写风格的问题，包括变量检查、命名和类型审查、程序逻辑审查、程序语法检查和结构检查等内容。

包括：

• 桌面检查：程序员自己检查
• 代码审查：程序员和测试员组成审查小组；讨论程序
• 走查：准备有代表性的测试用例。