{"page_raw": "无", "header": "目 录", "footer": "无", "body": "3.5.1 常见的缺陷模式\n3.5.2 DPBT的自动化实现\n3.6 基于模型的测试\n3.6.1 功能图法\n3.6.2 模糊测试方法\n3.7 形式化测试方法\n3.7.1 形式化方法\n3.7.2 形式化验证\n3.7.3 扩展有限状态机方法\n小结\n思考题\n\n第4章 软件测试流程和规范\n4.1 传统的软件测试过程\n4.1.1 W模型\n4.1.2 TMap\n4.2 敏捷测试过程\n4.2.1 敏捷测试的价值观和原则\n4.2.2 传统测试和敏捷测试的区别\n4.2.3 敏捷测试流程\n4.2.4 SBTM\n4.3 软件测试学派\n4.4 测试过程改进\n4.4.1 TMMi\n4.4.2 TPI\n4.4.3 CTP\n4.4.4 STEP\n4.5 软件测试规范\n小结\n思考题\n\n第2篇 软件测试的技术\n第5章 单元测试与集成测试\n5.1 代码静态测试\n5.1.1 编码的标准和规范\n5.1.2 代码评审\n5.2 代码评审案例分析\n5.2.1 空指针保护错误\n5.2.2 数据类型转换错误", "parse_ok": true, "page_num": null, "model": "deepseek-v4-flash-vision-exp", "stem": "第003页_1788967876510", "at": "2026-09-09T23:36:46"}