3.5.1 常见的缺陷模式 3.5.2 DPBT的自动化实现 3.6 基于模型的测试 3.6.1 功能图法 3.6.2 模糊测试方法 3.7 形式化测试方法 3.7.1 形式化方法 3.7.2 形式化验证 3.7.3 扩展有限状态机方法 小结 思考题 第4章 软件测试流程和规范 4.1 传统的软件测试过程 4.1.1 W模型 4.1.2 TMap 4.2 敏捷测试过程 4.2.1 敏捷测试的价值观和原则 4.2.2 传统测试和敏捷测试的区别 4.2.3 敏捷测试流程 4.2.4 SBTM 4.3 软件测试学派 4.4 测试过程改进 4.4.1 TMMi 4.4.2 TPI 4.4.3 CTP 4.4.4 STEP 4.5 软件测试规范 小结 思考题 第2篇 软件测试的技术 第5章 单元测试与集成测试 5.1 代码静态测试 5.1.1 编码的标准和规范 5.1.2 代码评审 5.2 代码评审案例分析 5.2.1 空指针保护错误 5.2.2 数据类型转换错误