软件的质量-软件的分析.测试与验证

节选

[

《软件的质量:软件的分析、测试与验证》详细地叙述了当前软件质量保证的技术、方法、原理和构成方面的*新知识，每一章的开始足本章的简介，使读者了解本章要讲述的内容；每一章的结束部分都有评价，对从业人员来说具有实践指导意义。《软件的质量:软件的分析、测试与验证》在写作上注重了将理论和实践、软件和硬件、经验知识和教学知汉领域的牢固结合，使读者更贴近软件开发这个重要的领域。《软件的质量:软件的分析、测试与验证》适合作为高等教育计算机相关专业的教材和教学参考书，也可用作从业人员的参考书。

]

本书特色

[

《软件的质量:软件的分析、测试与验证》是由机械工业出版社出版的。

]

内容简介

[

简介
　　本书详细地叙述了当前软件质量保证的技术、方法、原理和构成方面的*新知识，每一章的开始是本章的简介，使读者了解本章要讲述的内容；每一章的结束部分都有评价，对从业人员来说具有实践指导意义。本书在写作上，注重了将理论和实践、软件和硬件、经验知识和教学知识领域的牢固结合，使读者更贴近软件开发这个重要的领域。　　 本书适合作为高等教育计算机相关专业的教材和教学参考书，也可用作从业人员的参考书。

]

目录

出版说明翮吾第1章 引言1.1 动机1.2 数据和概念的定义1.3 技术水平1.3.1 质量管理1.3.2 软件质量保证1.3.3 硬件质量安全1.3.4 软件密集型系统的质量保障1.4 测试技术的分组与归类1.4.1 动态测试1.4.2 静态分析1.4.3 形式技术：符号测试和形式证明流程1.5 组织结构第2章 面向功能型测试2.1 面向功能型测试的属性和目标2.2 功能性等价类划分2.2.l功能性等价类划分的属性和目标2.2.2 描述功能性等价类划分2.2.3 评价功能性等价类划分2.3 以状态为基础的测试2.3.1 以状态为基础的测试的属性和目标2.3.2 描述以状态为基础的测试2.3.3 评价以状态为基础的测试2.4 原因一效果一分析2.5 其他面向功能型测试技术2.5.1 句法测试2.5.2 以事务流为基础的测试2.5.3 以判定表格为基础或者以判定树为基础进行测试2.6 评价面向功能型测试第3章 面向控制流程的、面向结构的测试3.l面向控制流程的测试属性和目标3.2 指令覆盖测试3.2.1 指令覆盖测试的属性和目标3.2.2 描述指令覆盖测试3.2.3 评价指令覆盖测试3.3 了项覆盖测试3.3 1子项覆盖测试的属性和目标3.3.2 描述子项覆盖测试3.3 3子项覆盖测试的问题3.3.4 评价子项覆盖测试3.4 条件覆盖测试3.4.1 条件覆盖测试的属性和目标3.4.2 简单的条件覆盖测试3.4.3 条件／判定覆盖测试3.4.4 *小多重条件覆盖测试3.4.5 修正条件／判定覆盖测试3.4.6 多重条件覆盖测试3.4.7 问题3.4.8 评估条件覆盖测试3.5 测试循环的技术3.5.1 属性和目标3.5.2 结构化路径测试和边界一内部路径测试3.5.3 LCSAJ测试3.6 路径覆盖测试3.6.1 路径覆盖测试的属性和目标3.6.2 评价路径覆盖测试3.7 评价面向流程控制的测试第4章 数据流型、面向结构型测试4.1 数据流型测试的属性和目标4.2 定义／用途测试4.3 必需的k元组测试4.4 数据上下文覆盖4.5 评价而向数据流的测试第5章 特殊的动态测试技术5.1 多样化测试5.1.1 多样化测试的属性和目标5.1.2 背靠背测试5.1.3 变异测试5.1.4 回归钡5试5.l.5 评价多样化测试5.2 定义域测试(DomainTesting)5.2.1 定义域测试的属性和目标5.2.2 路径域测试5.2.3 测试发现错误的子域5.2.4 分析分析5.2 5评价定义域测试5.3 随机测试5.4 错误猜测5.5 使用判断5.6 评价第6章 软件测量6.1 软件度量的属性和目标6.2 度量和规格6.3 度量类型6.4 对度量的要求6.5 度量标准6.5.l 基础6.5.2 标准讨论6.6 为度量系统记录数据6.7 有目标的定义度量6.8 分析度量6.8.1 表述度量值6.8.2 评价经验中获得的知识6.8.3 用统计技术分析6.9 软件的重要度量6.9.1 跳字的复杂性6.9.2 Halstead度量6.9.3 度量活变量6.9.4 度量“变量取值范围”6.9.5 平均故障问隔时间6.10 软件度量的个案研究6.11 评价软件度量第7章 利用工具进行静态代码分析7.1 利用工具进行静态代码分析的属性和目标7.2 形态分析7.2.1 形态分析的属性和日标7.2.2 测试是否遵循编程惯例7.2.土评价形态分析7.3 图形和表格7.3.1 使用图形、表格的属性和目标7.3.2 图形7.3.3 表格7.3.4 评价图形和表格的使用7.4 限幅7.4.l 限幅的属性和目标7.4.2 静态限幅7.4.3 动态限幅7.4.4 评价限幅7.5 数据流异常分析7.5.1 数据流异常分析的属性和目标7.5.2 执行数据流异常分析7.5.3 数据流异常分析的问题及其解决方法7.5.4 评价数据流异常分析7.6 评价有工具支持的静态代码分析第8章 软件验证和复审8.1 软件验证和复审的属性及目标8.2 形式验证技术8.2.1 形式验证技术的属性和目标8.2.2 描述形式验证技术8.2.3 评价形式验证技术8.3 会议技术中的传统复审：结构化普查8.4 评论技术中的复审8.5 评价软件验证和复审第9章 形式技术：符号测试和形式正确性证明9.1 形式技术的属性和目标9.2 符号测试9.2.1 符号测试的属性和目标9.2.2 描述符号测试9.2.3 评价符号测试9.3 形式正确性证明9.3.1 形式正确性证明的属性和目标9.3.2 判断方法9.3.3 代数技术9.3.4 以自动机为基础的技术9.3.5 评价形式正确性证明9.4 评价形式技术第10章 过程和测试策略10.1 属性和目标10.2 软件开发过程10.3 开发10.3.1 分析10.3.2 设计10.3.3 实施10.4 测试10.4.1 模块测试10.4.2 集成和集成测试10.4.3 系统测试10.5 组织方面10.6 文件和评价测试10.7 标准10.7.1 标准的含义10.7.2 面向过程型标准10.7.3 独立于应用领域的标准：标准IEC6150810.7.4 各领域的技术标准10.8 评价第1l章 工具11.l 使用工具的属性和目标11.2 工具类型11.2.1 动态测试工具11.2.2 静态分析工具11.2.3 形式验证工具11.2.4 模块化和分析型工具1l.3 工具的可用性11.3.1 技术拥有的工具数量11.3.2 编程语言拥有的工具11.3.3 开发平台形式和目标平台形式的工具使用情况11.4 关于工具的信息来源11.5 评价工具的利用情况第12章 测试面向对象型软件12.1 测试面向对象型软件的属性和目标12.2 关于面向对象型开发的说明12.3 面向对象型模块测试12.3.l 类测试作为面向对象型模块测试12.3.2 测试类的一种方法12.3.3 面向功能型测试12.3.4 面向结构型测试12.3.5 形式规约用于支持面向对象型测试12.3.6 测试参数化类12.3.7 测试子类和回归测试12.4 面向对象型集成测试12.4.1 基础类的集成测试12.4.2 集成测试和继承12.5 而向对象型系统测试12.6 评价面向对象型软件测试第13章 测试嵌入软件13.1 测试嵌人软什的属性和目标13.2 嵌入软件的重要属性13.2.1 安全级别13.2.2 可靠度和可用性13.2.3 实时能力13.3 安全级别高的软件进行动态测试13.4 安伞模块化和可靠度模块化13.4.1 安全模块化和可靠度模块化的属性和目标13.4.2 软件FMECA13.4.3 错误树分析13.4.4 马尔可夫模块化l3.4.5 评价安全模块化和可靠度模块化13.5 随机软件可靠度分析13.5.1 随机软什可靠度分析的属性和目标l3.5.2 随机可靠度分析的基础13.5.3 比较硬件可靠度分析和软件可靠度分析13.5.4 软件可靠度模型13.5.5 模型的示例：Musa的基础执行时间模型13.5.6 评价随机软件可靠度分析13.6 评价嵌人软件的测试第14章 实践指南14.1 组织上的提示14.2 技术提示14.2.l 适合实践的简单测试策略14.2.2 满足特殊的要求14.3 总结参考文献

封面

书名:软件的质量-软件的分析.测试与验证

作者:（德）里格斯麦尔

页数:287

定价:¥42.0

出版社:机械工业出版社

出版日期:2009-07-01

ISBN:9787111269816

PDF电子书大小:94MB 高清扫描完整版