第1章 基于FSM的软件测试
第1节 研究基础
第2节 设计
第3节 实现及测试
第4节 实际应用及结果
第5节 总结
第2章 基于TTCN-3的软件测试
第1节 研究基础
第2节 TTCN-3相关技术
第3节 实时性方法设计
第4节 实时性方法的一般实现过程
第5节 总结
第3章 基于模型的Web服务测试
第1节 研究基础
第2节 Web服务及其测试理论
第3节 基于树模型的Web服务测试用例生成算法
第4节 Web服务自动测试方案设计与应用
第5节 总结
第4章 基于统计的软件测试
第1节 研究基础
第2节 谓词统计模型错误定位算法SOBER
第3节 基于Mann-whitney秩和检验技术的错误定位算法
第4节 对SOBER算法的研究和优化
第5节 谓词统计错误定位算法FDI
第6节 总结
第5章 回归测试
第1节 研究基础
第2节 方法
第3节 实验
第4节 总结
第6章 组合测试
第1节 研究基础
第2节 组合测试方法
第3节 组合测试在故障定位中的应用
第4节 总结
附录
参考文献