| 图书 | 基于模型的软件验证与测试(计算机系列教程) |
| 内容 | 目录 第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节 总结 附录 参考文献 编辑推荐 软件模型是对软件行为和软件结构的抽象描述。《基于模型的软件验证与测试(计算机系列教程)》试图在总结过去研究工作的基础上，提出了新的方法并进行了实验论证。全书分为六章。每章通过介绍具体测试的背景、研究现状，进一步提出了方法，并以实验进行了论证。本书由郑炜编著。 内容推荐 本书试图在总结过去研究工作的基础上, 提出了新的方法并进行了实验论证。全书分为六章, 内容包括基于FDM的软件测试、基于模型的Web服务测试、基于统计的软件测试、回归测试等。每章通过介绍具体测试的背景、研究现状, 进一步提出了方法, 并以实验进行了论证。 |
| 标签 | |
| 缩略图 |  |
| 书名 | 基于模型的软件验证与测试(计算机系列教程) |
| 副书名 | |
| 原作名 | |
| 作者 | 郑炜 |
| 译者 | |
| 编者 | |
| 绘者 | |
| 出版社 | 西北工业大学出版社 |
| 商品编码（ISBN） | 9787561237670 |
| 开本 | 16开 |
| 页数 | 219 |
| 版次 | 1 |
| 装订 | 平装 |
| 字数 | 280 |
| 出版时间 | 2013-08-01 |
| 首版时间 | 2013-08-01 |
| 印刷时间 | 2013-08-01 |
| 正文语种 | 汉 |
| 读者对象 | 青年(14-20岁),研究人员,普通成人 |
| 适用范围 | |
| 发行范围 | 公开发行 |
| 发行模式 | 实体书 |
| 首发网站 | |
| 连载网址 | |
| 图书大类 | |
| 图书小类 | |
| 重量 | 0.302 |
| CIP核字 | 2013202638 |
| 中图分类号 | TP311.55 |
| 丛书名 | |
| 印张 | 14.125 |
| 印次 | 1 |
| 出版地 | 陕西 |
| 长 | 228 |
| 宽 | 184 |
| 高 | 10 |
| 整理 | |
| 媒质 | 图书 |
| 用纸 | 普通纸 |
| 是否注音 | 否 |
| 影印版本 | 原版 |
| 出版商国别 | CN |
| 是否套装 | 单册 |
| 著作权合同登记号 | |
| 版权提供者 | |
| 定价 | |
| 印数 | |
| 出品方 | |
| 作品荣誉 | |
| 主角 | |
| 配角 | |
| 其他角色 | |
| 一句话简介 | |
| 立意 | |
| 作品视角 | |
| 所属系列 | |
| 文章进度 | |
| 内容简介 | |
| 作者简介 | |
| 目录 | |
| 文摘 | |
| 安全警示 | 适度休息有益身心健康，请勿长期沉迷于阅读小说。 |
| 随便看 |
|
兰台网图书档案馆全面收录古今中外各种图书，详细介绍图书的基本信息及目录、摘要等图书资料。