图文详情

教育部职业教育与成人教育司推荐教材·软件的质量：软件的分析、测试与验证

[德]里格斯麦尔、徐政著；于芳译 / 机械工业出版社 / 2009-07 / 平装

售价 3.95

品相 八五品

优惠

发货

承诺48小时内发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2025-02-07

数量: 库存5件

立即购买加入购物车收藏

卖家超过10天未登录

十年老店

清灵书阁

店铺等级

拍卖等级

资质认证

90天平均

成功完成

91.49% (48笔)

好评率

99.95%

发货时间

10.87小时

店主

清荷灵儿

联系

在线交谈离线留言

地址

河南省郑州市金水区

电话

进店逛逛收藏店铺

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

图书条目信息
图书 > 计算机与互联网
教育部职业教育与成人教育司推荐教材·软件的质量：软件的分析、测试与验证
作者: [德] 里格斯麦尔著；徐政著；于芳译

出版社: 机械工业出版社

出版时间: 2009-07

版次: 1

ISBN: 9787111269816

定价: 42.00

装帧: 平装

开本: 16开

纸张: 胶版纸

页数: 287页

字数: 446千字

正文语种: 简体中文
内容简介：

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

作者简介：

作者：(德国)Peter Liggesmeyer 译者：徐政

目录：

出版说明
翮吾
第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.31子项覆盖测试的属性和目标
3.3.2描述子项覆盖测试
3.33子项覆盖测试的问题
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.3LCSAJ测试
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.25评价定义域测试
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.2Halstead度量
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总结
参考文献

展开全部
货号：

9787111269816

配送说明

...
相似商品
为你推荐

孔网分类

图书

图书

教育部职业教育与成人教育司推荐教材·软件的质量：软件的分析、测试与验证

孔网啦啦啦啦啦纺织女工火锅店第三课