主要内容;什么是静态分析;静态分析的主要内容;检查需求;需求检查练习;需求检查练习;规格说明用语清单;检查设计;检查代码;检查代码;度量元;代码审核内容;代码审核内容;静态分析方法;走查Walkthrough;审查Inspection;审查Inspection;自动化工具;如何使静态分析更有效;白盒测试;白盒测试目标;逻辑覆盖;逻辑覆盖;黑盒测试;黑盒测试;黑盒测试;模式与技术;测试模式;模式范围