软件的质量:软件的分析、测试与验证机械工业计算机与互联网书籍 pdf下载pdf下载

软件的质量:软件的分析、测试与验证机械工业计算机与互联网书籍百度网盘pdf下载

作者:
简介:本篇提供书籍《软件的质量:软件的分析、测试与验证机械工业计算机与互联网书籍》百度网盘pdf下载
出版社：读买天下图书专营店
出版时间：2009-07
pdf下载价格：0.00￥

免费下载

前去下载

书籍下载

下载地址

内容介绍

  商品基本信息，请以下列介绍为准
商品名称：软件的质量:软件的分析、测试与验证
作者：[德]PeterLiggesmeyer著
定价：42.0
出版社：机械工业出版社
出版日期：2009-07-01
ISBN：9787111269816
印次：1
版次：1
装帧：
开本：16开

  目录
出版说明
翮吾
第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.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 独立于应用领域的标准：标准
IEC61508
10.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 软件FMECA
13.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结
参考文献