计算机软件测试技术(前言).doc_第1页
计算机软件测试技术(前言).doc_第2页
计算机软件测试技术(前言).doc_第3页
计算机软件测试技术(前言).doc_第4页
计算机软件测试技术(前言).doc_第5页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

计算机软件测试技术郑人杰 主编清华大学出版社目 录 第一章 绪论1 11 软件危机和软件生存期1 12 软件测试的意义4 13 什么是软件测试8 14 应该怎样认识软件测试 10 15 软件测试发展的历史回顾 16 参考文献 21 第二章 软件错误与软件质量保证 25 21 软件错误类型分析 25 22 程序中隐藏错误数量估计 29 2。3 软件质量因素和质量特性 31 24 软件质量保证的任务 35 25 程序排错 38 参考文献 42 第三章 软件测试策略 43 31 静态方法与动态方法 43 32 黑盒测试与白盒测试 44 33 测试步骤 48 34 人工测试 56 参考文献 62 第四章 黑盒测试 63 41 等价类划分 63 42 因果图 68 43 正交实验设计法 71 44 边值分析 78 45 判定表驱动测试 81 46 功能测试 85 参考文献 92 第五章 白盒测试 93 51 程序结构分析 93 52 逻辑覆盖101 53 域测试110 54 符号测试115 55 路径分析118 56 程序插装12957 程序变异134参考文献139第六章 验收测试与测试文档 141 6.1 验收测试 141 6.2 软件测试文件 145 参考文献 155第七章 测试工具与测试环境 156 71 测试工具综述 156 72 COBOL软件测试环境COSTE系统简介 173 73 FORTRAN程序动态测试工具DTFG系统简介 181 94 测试工具支持下的测试实施 184 参考文献 202 第八章 程序正确性证明 207 81 程序正确性证明概述 207 82 以公理语义学为基础的正确性证明技术 209 83 程序综合 225 参考文献 228 第九章 测试可靠性与软件可靠性 230 91 测试可靠性理论 230 92 软件可靠性概念 237 93 软件可靠性模型 243 94 软件可靠性在软件测试中的应用 250 参考文献 257附录1 软件审查用表 258 表1 软件审查概要 258 表2 软件审查准备工作记录 258 表3 审查结果报告 259 表4
人人文库> 全部分类> 专业文献 > 工业制造

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论