第1章　绪论　
　1.1　软件危机和软件生存期　
　1.2　软件测试的意义　
　1.3　什么是软件测试　
　1.4　应该怎样认识软件测试　
　1.5　软件测试发展的历史回顾　
　　1.5.1　历史回顾　
　　1.5.2　与软件测试相关课题的发展　
　习题　
第2章　软件测试策略　
　2.1　测试的生命周期　
　2.2　测试步骤　
　　2.2.1　单元测试　
　　2.2.2　集成测试　
　　2.2.3　确认测试　
　　2.2.4　系统测试　
　2.3　静态方法与动态方法　
　2.4　黑盒测试与白盒测试　
　　2.4.1　黑盒测试　
　　2.4.2　白盒测试　
　　2.4.3　黑盒测试与白盒测试的比较　
　2.5　回归测试方法　
　2.6　人工测试与自动测试　
　　2.6.1　人工测试技术概述　
　　2.6.2　软件审查　
　　2.6.3　软件审查的作用　
　　2.6.4　自动测试　
　习题　
第3章　黑盒测试　
　3.1　等价类划分　
　　3.1.1　方法简介　
　　3.1.2　应用等价类划分方法进行测试用例设计的实例　
　3.2　因果图　
　3.3　正交实验设计法　
　　3.3.1　提取功能说明，构造因子——状态表　
　　3.3.2　加权筛选，生成因素分析表　
　　3.3.3　利用正交表构造测试数据集　
　　3.3.4　方法评价　
　3.4　边值分析　
　　3.4.1　单变量边界值的选取　
　　3.4.2　多个变量组合情况下边界值的选取　
　3.5　判定表驱动测试　
　　3.5.1　什么是判定表　
　　3.5.2　判定表在功能测试中的应用　
　3.6　功能测试　
　　3.6.1　功能测试的系统化　
　　3.6.2　模块功能的分解测试　
　习题　
第4章　白盒测试　
　4.1　程序结构分析　
　　4.1.1　控制流分析　
　　4.1.2　数据流分析　
　　4.1.3　信息流分析　
　4.2　逻辑覆盖　
　　4.2.1　几种常用的逻辑覆盖测试方法　
　　4.2.2　最少测试用例数计算　
　　4.2.3　测试覆盖准则　
　4.3　域测试　
　4.4　符号测试　
　4.5　路径分析　
　　4.5.1　程序路径表达式　
　　4.5.2　程序中路径数的计算　
　　4.5.3　程序路径的树表示及路径编码　
　　4.5.4　测试路径枚举　
　　4.5.5　路径测试系统　
　4.6　程序插装　
　　4.6.1　方法简介　
　　4.6.2　断言语句　
　4.7　程序变异　
　　4.7.1　程序强变异　
　　4.7.2　程序弱变异　
　习题　
第5章　集成测试　
第6章　系统测试　
第7章　测试组织和管理　
第8章　测试工具　
第9章　软件评审　
第10章　软件质量与软件质量管理　
第11章　测试可靠性与软件可靠性　
第12章　程序正确性证明　
参考文献