图书介绍

计算机系列教程 基于模型的软件验证与测试【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

计算机系列教程 基于模型的软件验证与测试
  • 郑炜编著 著
  • 出版社： 西安：西北工业大学出版社
  • ISBN：9787561237670
  • 出版时间：2013
  • 标注页数：219页
  • 文件大小：40MB
  • 文件页数：227页
  • 主题词：软件－测试

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：8a8946e7bfbb62e17daaf6b84543e228

下载说明

计算机系列教程 基于模型的软件验证与测试PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章 基于FSM的软件测试1

第1节 研究基础1

第2节 设计9

第3节 实现及测试15

第4节 实际应用及结果20

第5节 总结28

第2章 基于TTCN-3 的软件测试29

第1节 研究基础29

第2节 TTCN-3 相关技术32

第3节 实时性方法设计46

第4节 实时性方法的一般实现过程54

第5节 总结60

第3章 基于模型的Web服务测试61

第1节 研究基础61

第2节 Web服务及其测试理论66

第3节 基于树模型的Web服务测试用例生成算法75

第4节 Web服务自动测试方案设计与应用91

第5节 总结103

第4章 基于统计的软件测试105

第1节 研究基础105

第2节 谓词统计模型错误定位算法SOBER106

第3节 基于Mann-Whitney秩和检验技术的错误定位算法107

第4节 对SOBER算法的研究和优化108

第5节 谓词统计错误定位算法FDI112

第6节 总结120

第5章 回归测试121

第1节 研究基础121

第2节 方法131

第3节 实验134

第4节 总结140

第6章 组合测试141

第1节 研究基础141

第2节 组合测试方法149

第3节 组合测试在故障定位中的应用176

第4节 总结185

附录186

参考文献200

热门推荐