基于模型的软件验证与测试

　　随着计算机应用的飞速发展，整个社会对计算机软件的需求在不断扩大；软件的规模不断地扩大，数量也飞速地增长。与此同时，软件质量却并没有得到显著提高，软件故障所带来的损失不容忽视，如何有效地提高和保证软件质量，成为计算机领域重要的研究课题。但是，当前的测试技术，存在很多缺点，直接影响着软件质量。基于模型的软件测试在近年来得到了较为广泛的关注，它以明确描述系统预期行为的抽象模型为依据，根据模型覆盖测试准则自动生成抽象的测试序列，自动产生测试脚本，执行测试并自动评价测试结果，实现测试过程的自动化。总体上说，这方面的研究还处于方法探索阶段，比较实用的工具非常少。但这种方法可以使得软件测试和软件设计以及实现同时进行，改变了软件工程中“现在编程，以后测试”的工作方式，使得在整个软件生命期中都可以并行地进行测试工作，从而极大地提高了软件开发的效率。《计算机系列教程：基于模型的软件验证与测试》试图在总结过去研究工作的基础上，提出了新的方法并进行了实验论证。全书分为六章。每章通过介绍具体测试的背景、研究现状，进一步提出了方法，并以实验进行了论证。

暂缺《基于模型的软件验证与测试》作者简介

第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节 总结
附录
参考文献