基于模型的软件验证与测试
￥ 10.92 3.8折 ￥ 29 九五品
仅1件
作者郑炜 著
出版社西北工业大学出版社
ISBN9787561237670
出版时间2013-08
版次1
装帧平装
开本16开
纸张胶版纸
页数219页
字数99999千字
定价29元
上书时间2024-12-19
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:基于模型的软件验证与测试
定价：29元
作者:郑炜 著
出版社：西北工业大学出版社
出版日期：2013-08-01
ISBN：9787561237670
字数：280000
页码：219
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
随着计算机应用的飞速发展，整个社会对计算机软件的需求在不断扩大；软件的规模不断地扩大，数量也飞速地增长。与此同时，软件质量却并没有得到显著提高，软件故障所带来的损失不容忽视，如何有效地提高和保证软件质量，成为计算机领域重要的研究课题。但是，当前的测试技术，存在很多缺点，直接影响着软件质量。 基于模型的软件测试在近年来得到了较为广泛的关注，它以明确描述系统预期行为的抽象模型为依据，根据模型覆盖测试准则自动生成抽象的测试序列，自动产生测试脚本，执行测试并自动评价测试结果，实现测试过程的自动化。总体上说，这方面的研究还处于方法探索阶段，比较实用的工具非常少。但这种方法可以使得软件测试和软件设计以及实现同时进行，改变了软件工程中“现在编程，以后测试”的工作方式，使得在整个软件生命期中都可以并行地进行测试工作，从而极大地提高了软件开发的效率。 《计算机系列教程：基于模型的软件验证与测试》试图在总结过去研究工作的基础上，提出了新的方法并进行了实验论证。全书分为六章。每章通过介绍具体测试的背景、研究现状，进一步提出了方法，并以实验进行了论证。
目录
章 基于FSM的软件测试节 研究基础第2节 设计第3节 实现及测试第4节 实际应用及结果第5节 总结第2章 基于TTCN -3的软件测试节 研究基础第2节 TTCN -3相关技术第3节 实时性方法设计第4节 实时性方法的一般实现过程第5节 总结第3章 基于模型的Web服务测试节 研究基础第2节 Web服务及其测试理论第3节 基于树模型的Web服务测试用例生成算法第4节 Web服务自动测试方案设计与应用第5节 总结第4章 基于统计的软件测试节 研究基础第2节 谓词统计模型错误定位算法SOBER第3节 基于Mann - Whitney秩和检验技术的错误定位算法第4节 对SOBER算法的研究和优化第5节 谓词统计错误定位算法FDI第6节 总结第5章 回归测试节 研究基础第2节 方法第3节 实验第4节 总结第6章 组合测试节 研究基础第2节 组合测试方法第3节 组合测试在故障定位中的应用第4节 总结附录参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价