计算机系列教程：基于模型的软件验证与测试

图书标准信息

• 作者 郑炜 著
• 出版社 西北工业大学出版社
• 出版时间 2013-08
• 版次 1
• ISBN 9787561237670
• 定价 29.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 219页
• 字数 280千字
• 正文语种 简体中文

【内容简介】

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

【目录】

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