登入帳戶  | 訂單查詢  | 購物車/收銀台( 0 ) | 在線留言板  | 付款方式  | 運費計算  | 聯絡我們  | 幫助中心 |  加入書簽
會員登入 新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 臺灣用戶
品種:超過100萬種各類書籍/音像和精品,正品正價,放心網購,悭钱省心 服務:香港台灣澳門海外 送貨:速遞郵局服務站

新書上架簡體書 繁體書
暢銷書架簡體書 繁體書
好書推介簡體書 繁體書

八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書
五月出版:大陸書 台灣書
四月出版:大陸書 台灣書
三月出版:大陸書 台灣書
二月出版:大陸書 台灣書
一月出版:大陸書 台灣書
12月出版:大陸書 台灣書
11月出版:大陸書 台灣書
十月出版:大陸書 台灣書
九月出版:大陸書 台灣書
八月出版:大陸書 台灣書
七月出版:大陸書 台灣書
六月出版:大陸書 台灣書

『簡體書』基于模型的测试:一个软件工艺师的方法

書城自編碼: 3392899
分類:簡體書→大陸圖書→教材研究生/本科/专科教材
作者: [美]保罗·C.,乔根森[Paul C.,Jorgensen
國際書號(ISBN): 9787111628989
出版社: 机械工业出版社
出版日期: 2019-07-01


書度/開本: 16开 釘裝: 平装

售價:HK$ 106.7

我要買

 

** 我創建的書架 **
未登入.


新書推薦:
一木倒,万物生:树的第二次生命
《 一木倒,万物生:树的第二次生命 》

售價:HK$ 62.1
大乔小乔
《 大乔小乔 》

售價:HK$ 67.9
文化遗产管理规划:场所及其意义
《 文化遗产管理规划:场所及其意义 》

售價:HK$ 101.2
最后的奈良(一部日本土葬风俗消亡史,堪称日本土葬资源抢救工程的“世纪奇书”)
《 最后的奈良(一部日本土葬风俗消亡史,堪称日本土葬资源抢救工程的“世纪奇书”) 》

售價:HK$ 98.9
古籍目录版本校勘文选(平装)
《 古籍目录版本校勘文选(平装) 》

售價:HK$ 89.7
巴比伦怪物:魏玛共和国犯罪鉴证实录(“火与风”丛书)
《 巴比伦怪物:魏玛共和国犯罪鉴证实录(“火与风”丛书) 》

售價:HK$ 101.2
启功谈国画(启功著,中华书局出版)
《 启功谈国画(启功著,中华书局出版) 》

售價:HK$ 64.4
中国书法的历程
《 中国书法的历程 》

售價:HK$ 89.7

 

內容簡介:
本书是知名的“Craftsman”系列软件测试书籍中的新作,主要讨论基于模型的测试(MBT)技术。第壹部分讲解理论知识,介绍了9种不同的测试模型。第二部分关注实践方法,涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子,一个简单的保费计算系统,一个事件驱动的车库门控系统,以帮助读者深入理解建模过程和工具的应用技巧。
關於作者:
作者简介
The Craft of Model-Based Testing
Paul C. Jorgensen博士从事电话交换系统软件开发工作20年,这是他的第一份职业。他于1986年开始了大学教学工作,先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程,后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余,他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议(CODASYL)、计算机协会(ACM)、电气和电子工程师协会(IEEE)标准委员会。2012年,他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
除了他的软件测试书籍《Software Testing: A Craftsman’s Approach》(第4版)之外,他还是《Modeling Software Behavior: A Craftsman’s Approach》一书的作者,以及《Mathematics for Data Processing》(McGraw-Hill,1970)一书和《Structured Methods—Merging Models, Techniques, and CASE》(McGraw-Hill, 1993)一书的合著者。*近,Jorgensen博士参与了国际软件测试评定委员会(ISTQB)的工作,他与人合作编写了相关工作的高级教学大纲,并担任了ISTQB术语工作组的副主席。他是ISTQB“基于模型的测试”教学大纲的审阅者。作者简介
The Craft of Model-Based Testing
Paul C. Jorgensen博士从事电话交换系统软件开发工作20年,这是他的第一份职业。他于1986年开始了大学教学工作,先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程,后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余,他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议(CODASYL)、计算机协会(ACM)、电气和电子工程师协会(IEEE)标准委员会。2012年,他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
除了他的软件测试书籍《Software Testing: A Craftsman’s Approach》(第4版)之外,他还是《Modeling Software Behavior: A Craftsman’s Approach》一书的作者,以及《Mathematics for Data Processing》(McGraw-Hill,1970)一书和《Structured Methods—Merging Models, Techniques, and CASE》(McGraw-Hill, 1993)一书的合著者。*近,Jorgensen博士参与了国际软件测试评定委员会(ISTQB)的工作,他与人合作编写了相关工作的高级教学大纲,并担任了ISTQB术语工作组的副主席。他是ISTQB“基于模型的测试”教学大纲的审阅者。
在意大利生活和工作的三年,使他成为一个坚定的“Italophile”(喜爱意大利的人)。他和妻子Carol以及女儿Kirsten和Katia曾多次访问那里的朋友。自2000年以来,Paul和Carol每年夏天都会在南达科他州Pine Ridge保护区的Porcupine学校做志愿者。他的大学电子邮件地址是jorgensp@gvsu.edu,他在2017年夏天成为荣誉退休教授,也可以通过pauljorgensen42@gmail.com联系他。
目錄
目 录
The Craft of Model-Based Testing
出版者的话
译者序
前言
致谢
作者简介
第一部分 基于模型测试的模型理论
第1章 基于模型测试概述2
1.1 基本术语2
1.2 事件3
1.3 测试用例4
1.4 测试用例的执行框架4
1.5 MBT中的模型4
1.6 ISTQB中的MBT扩展5
1.7 MBT的形式5
1.8 案例集5
1.8.1 单元级问题:保费计算5
1.8.2系统级问题:车库门控系统6
1.8.3 其他案例7
1.9 MBT的技术现状8
参考文献9
第2章 流程图10
2.1 定义与表示法10
2.2 技术详解10
2.3 案例分析12
2.3.1 日期计算函数12
2.3.2 风寒指数表12
2.3.3 保费计算流程图13
2.3.4 车库门控系统流程图13
2.4 基于流程图派生的测试用例15
2.4.1 保费计算问题的测试用例15
2.4.2 车库门控系统的测试用例17
2.5 优势与局限18
2.6 经验教训20
参考文献20
第3章 决策表21
3.1 定义与表示法21
3.2 技术详解22
3.2.1 决策表的精简22
3.2.2 有互斥条件的决策表22
3.2.3 冗余和不一致的决策表24
3.2.4 决策表引擎24
3.3 案例分析25
3.3.1 日期计算函数25
3.3.2 汽车刮水器控制器26
3.3.3 铁路道口门控制器27
3.4 基于决策表派生的测试用例28
3.4.1 保费计算问题的决策表28
3.4.2 车库门控系统的决策表30
3.4.3 车库门控系统的测试用例31
3.5 优势与局限32
3.6 经验教训32
参考文献33
第4章 有限状态机34
4.1 定义与表示法34
4.1.1 有限状态机的矩阵表达35
4.1.2 有限状态机的文本表达36
4.1.3 有限状态机的惯例与约束36
4.2 技术详解38
4.2.1 有限状态机的解释38
4.2.2 有限状态机的实践40
4.2.3 有限状态机引擎40
4.3 案例分析41
4.3.1 汽车刮水器控制器41
4.3.2 铁路道口门控制器43
4.4 基于有限状态机派生的测试用例44
4.4.1 保费计算问题45
4.4.2 车库门控系统46
4.5 经验教训47
4.6 优势与局限48
参考文献49
第5章 Petri网50
5.1 定义与表示法50
5.1.1 可变迁与可点火51
5.1.2 惯例51
5.1.3 非图形化的表达方式52
5.2 技术详解53
5.2.1 顺序、选择和循环54
5.2.2 可用、不可用和激活55
5.2.3 触发55
5.2.4 挂起、恢复和暂停55
5.2.5 冲突和优先级56
5.2.6 互斥56
5.2.7 同步56
5.2.8 标记和可用序列57
5.2.9 Petri网和有限状态机58
5.2.10 Petri网引擎58
5.3 案例分析59
5.3.1 生产者-消费者问题59
5.3.2 汽车刮水器控制器61
5.4 基于Petri网派生的测试用例62
5.4.1 保费计算问题63
5.4.2 车库门控系统65
5.5 经验教训69
5.6 优势与局限70
参考文献71
第6章 事件驱动的Petri网72
6.1 定义与表示法73
6.1.1 可变迁与可点火74
6.1.2 惯例76
6.1.3 非图形化的表达方式76
6.2 技术详解77
6.2.1 上下文敏感输入事件78
6.2.2 多原因输出事件78
6.2.3 事件静默78
6.2.4 事件驱动Petri网的引擎78
6.2.5事件驱动Petri网的优势与局限79
6.3 案例分析79
6.3.1 铁路道口门控制器79
6.3.2 汽车刮水器控制器80
6.4基于事件驱动Petri网派生的测试用例82
6.4.1 保费计算问题83
6.4.2 车库门控系统83
6.5 经验教训89
6.6 优势与局限91
参考文献92
第7章 状态图93
7.1 定义与表示法93
7.2 技术详解95
7.2.1 基于广播机制的交互96
7.2.2 状态图引擎96
7.2.3基于状态图派生的测试用例97
7.3 案例分析98
7.3.1 铁路道口门控制器98
7.3.2 汽车刮水器控制器98
7.4 后续问题99
7.4.1 保费计算问题99
7.4.2 车库门控系统99
7.5 经验教训104
7.6 优势与局限105
参考文献105
第8章 泳道型事件驱动的Petri网106
8.1 定义与表示法106
8.1.1 可变迁与可点火106
8.1.2泳道型事件驱动的Petri网中的事件107
8.2 技术详解107
8.2.1 使用泳道模型107
8.2.2 “模型检验”109
8.2.3基于泳道型事件驱动的Petri网派生的测试用例110
8.3 后续问题112
8.3.1 保费计算问题112
8.3.2 车库门控系统112
8.4泳道型事件驱动的Petri网派生的测试用例120
8.5 经验教训120
参考文献121
第9章 面向对象的模型122
9.1 定义与表示法123
9.1.1 用例图124
9.1.2 活动图125
9.1.3 状态图126
9.1.4 顺序图126
9.2 案例分析127
9.3 后续问题127
9.3.1 保费计算问题127
9.3.2 车库门控系统128
9.4基于UML模型派生的测试用例138
9.4.1 基于活动图的测试用例138
9.4.2 基于用例的测试用例138
9.4.3 基于用例图的测试用例139
9.4.4 基于顺序图的测试用例139
9.4.5 基于状态图的测试用例139
9.5 优势与局限139
参考文献141
第10章 业务流程建模和标识142
內容試閱
前 言
The Craft of Model-Based Testing
首先是免责声明:我所使用的“工匠”和“工匠精神”这两个词是完全中性的,无意冒犯任何人。我相信,基于模型的测试(MBT)技术能够成为也应该成为一门手艺,而非艺术。工匠精神包含3个关键部分:对物料的深入理解,选择合适工具的能力,以及使用这些工具的经验。工具与手艺之间的关系是很有趣的,一个工匠就算使用很破旧的工具也能做出让人满意的产品,但一个新手就算使用精妙的工具也制作不出好产品。对于MBT这门手艺来说,这一点尤其如此。
除了软件测试之外,我个人最喜欢的手艺是木工活。作为一门手艺来说,木工需要了解物料,也就是木头。不同的木头有不同的特质,了解这些特质的木工才能做出正确的选择。枫木非常坚硬,需要非常锋利的工具;松木则很软,而且很容易塑型。我最喜欢的木头是樱桃木,它虽然不像枫木或者橡木那样坚硬,但是它有非常漂亮的花纹,而且好用。工具部分就更明显了。拿手锯来说吧,一个工匠可以有横切锯和粗木锯,有镶边手锯、轴锯箱、钢丝锯,也许还有些特制的日本锯用来进行更精细的切割。每一样工具都有某一种特殊的用途,没有一把锯能够符合所有的要求。但仅有工具是远远不够的。未来的工匠必须知道如何使用这些工具来达到自己的目的。此时经验就发挥作用了。在我看来,也许史上练就手艺的最好方法是学徒制,包括学徒期和熟练工时期,最终是大师级的工匠。整个学徒过程的核心是,在成为一个公认的、值得信赖的工匠之前,一个人必须经过长期的、受督导的学习历程。
上述内容与MBT有何关系呢?MBT中,类似工匠的角色有哪些呢?物料,也就是被测软件或者被测系统。它们简单的区别在于,软件可能是转换类型的或者交互类型的。类型不同将影响如何选择合适的MBT工具。
MBT工具包括用于描述软件的模型,在书中第一部分会涵盖这些内容。能够生成并且可能运行从模型派生出来的测试用例的商用或开源产品,会在第二部分介绍。第一部分首先简单介绍一些基本知识,第2~10章则分别讲解了9个模型,它们有不同的复杂度和表现力。有些非常有名,比如流程图和决策表。我们特别关注有限状态机,因为大多数的商用工具或者开源工具对其支持力度最大。第二部分展示了6个商用的MBT产品,最后一章简单描述了6个开源的MBT工具。
写作本书最大的挑战是如何传授经验。有两个贯穿全书的例子,保费计算问题是一个转换型应用的例子,车库门控系统是一个交互型应用(事件驱动)的例子。在第2~10章,我们用教学的方式对这两个问题予以建模。之后把这两个例子交给了6个商用工具,看看这些产品是如何支持这两个贯穿全书的例子的。所有MBT社区都承认,MBT的成功在很大程度上取决于被测系统的建模好坏。因此第2~10章非常重要。
我父亲是一位工具和骰子制造商,他的父亲和祖父是丹麦的橱柜制造商。我外公是一位画家,我妻子是一位出色的厨师。我的家庭成员都将各自的才能作为手艺,并以各自的工作为荣。我相信,这种自豪感能够将普通的工作升华为手艺。我希望读者能够使用本书所展现的内容成为一个MBT的手艺人。
Paul C. Jorgensen
密歇根州,罗克福德

 

 

書城介紹  | 合作申請 | 索要書目  | 新手入門 | 聯絡方式  | 幫助中心 | 找書說明  | 送貨方式 | 付款方式 香港用户  | 台灣用户 | 大陸用户 | 海外用户
megBook.com.hk
Copyright © 2013 - 2024 (香港)大書城有限公司  All Rights Reserved.