网站颜色:

基于模型的测试:一个软件工艺师的方法 专业科技 机械工业出版社.

  • 产品名称:基于模型的测试:一个软件...
  • 品牌:华章
  • 书名:基于模型的测试:一个软件工艺师的方法
  • 作者:保罗·C.乔根森(PaulC.Jorgensen)
  • 定价:79.00元
  • 书名:基于模型的测试:一个软件工艺师的方法
  • 是否是套装:否
  • 出版社名称:计算机科学丛书

基于模型的测试:一个软件工艺师的方法

作  者:[美]保罗·C. 乔根森(Paul C. Jorgensen 著 王轶辰 王铁昆 曹志钦 译
定  价:79
出 版 社:机械工业出版社
出版日期:(咨询特价)年07月01日
页  数:268
装  帧:平装
ISBN:89
目录
目  录The Craft of Model-Based Testing出版者的话译者序前言致谢作者简介部分  基于模型测试的模型理论章  基于模型测试概述21.1  基本术语21.2  事件31.3  测试用例41.4  测试用例的执行框架41.5  MBT中的模型41.6  ISTQB中的MBT扩展51.7  MBT的形式51.8  案例集51.8.1  单级问题:保费计算51.8.2系统级问题:车库门控系统61.8.3  其他案例71.9  MBT的技术现状8参考文献9第2章  流程图102.1  定义与表示法102.2  技术详解102.3  案例分析122.3.1  日期计算函数122.3.2  风寒指数表122.3.3  保费计算流程图132.3.4  车库门控系统流程图132.4  基于流程图派生的测试用例152.4.1  保费计算问题的测试用例152.4.2  车库门控系统的测试用例172.5  优势与局限182.6  经验教训20参考文献20第3章  决策表213.1  定义与表示法213.2  技术详解223.2.1  决策表的精简223.2.2  有互斥条件的决策表223.2.3  冗余和不一致的决策表243.2.4  决策表引擎243.3  案例分析253.3.1  日期计算函数253.3.2  汽车刮水器控制器263.3.3  铁路道口门控制器273.4  基于决策表派生的测试用例283.4.1  保费计算问题的决策表283.4.2  车库门控系统的决策表303.4.3  车库门控系统的测试用例313.5  优势与局限323.6  经验教训32参考文献33第4章  有限状态机344.1  定义与表示法344.1.1  有限状态机的矩阵表达354.1.2  有限状态机的文本表达364.1.3  有限状态机的惯例与约束364.2  技术详解384.2.1  有限状态机的解释384.2.2  有限状态机的实践404.2.3  有限状态机引擎404.3  案例分析414.3.1  汽车刮水器控制器414.3.2  铁路道口门控制器434.4  基于有限状态机派生的测试用例444.4.1  保费计算问题454.4.2  车库门控系统464.5  经验教训474.6  优势与局限48参考文献49第5章  Petri网505.1  定义与表示法505.1.1  可变迁与可点火515.1.2  惯例515.1.3  非图形化的表达方式525.2  技术详解535.2.1  顺序、选择和循环545.2.2  可用、不可用和激活555.2.3  触发555.2.4  挂起、恢复和暂停555.2.5  冲突和优先级565.2.6  互斥565.2.7  同步565.2.8  标记和可用序列575.2.9  Petri网和有限状态机585.2.10  Petri网引擎585.3  案例分析595.3.1  生产者-消费者问题595.3.2  汽车刮水器控制器615.4  基于Petri网派生的测试用例625.4.1  保费计算问题635.4.2  车库门控系统655.5  经验教训695.6  优势与局限70参考文献71第6章  事件驱动的Petri网726.1  定义与表示法736.1.1  可变迁与可点火746.1.2  惯例766.1.3  非图形化的表达方式766.2  技术详解776.2.1  上下文敏感输入事件786.2.2  多原因输出事件786.2.3  事件静默786.2.4  事件驱动Petri网的引擎786.2.5事件驱动Petri网的优势与局限796.3  案例分析796.3.1  铁路道口门控制器796.3.2  汽车刮水器控制器806.4基于事件驱动Petri网派生的测试用例826.4.1  保费计算问题836.4.2  车库门控系统836.5  经验教训896.6  优势与局限91参考文献92第7章  状态图937.1  定义与表示法937.2  技术详解957.2.1  基于广播机制的交互967.2.2  状态图引擎967.2.3基于状态图派生的测试用例977.3  案例分析987.3.1  铁路道口门控制器987.3.2  汽车刮水器控制器987.4  后续问题997.4.1  保费计算问题997.4.2  车库门控系统997.5  经验教训1047.6  优势与局限105参考文献105第8章  泳道型事件驱动的Petri网1068.1  定义与表示法1068.1.1  可变迁与可点火1068.1.2泳道型事件驱动的Petri网中的事件1078.2  技术详解1078.2.1  使用泳道模型1078.2.2  “模型检验”1098.2.3基于泳道型事件驱动的Petri网派生的测试用例1108.3  后续问题1128.3.1  保费计算问题1128.3.2  车库门控系统1128.4泳道型事件驱动的Petri网派生的测试用例1208.5  经验教训120参考文献121第9章  面向对象的模型1229.1  定义与表示法1239.1.1  用例图1249.1.2  活动图1259.1.3  状态图1269.1.4  顺序图1269.2  案例分析1279.3  后续问题1279.3.1  保费计算问题1279.3.2  车库门控系统1289.4基于UML模型派生的测试用例1389.4.1  基于活动图的测试用例1389.4.2  基于用例的测试用例1389.4.3  基于用例图的测试用例1399.4.4  基于顺序图的测试用例1399.4.5  基于状态图的测试用例1399.5  优势与局限139参考文献1410章  业务流程建模和标识142
内容虚线

内容简介

本书是知名的“Craftsman”系列软件测试书籍中的新作,主要讨论基于模型的测试(MBT)技术。第壹部分讲解理论知识,介绍了9种不同的测试模型。第二部分关注实践方法,涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子,一个简单的保费计算系统,一个事件驱动的车库门控系统,以帮助读者深入理解建模过程和工具的应用技巧。

作者简介

[美]保罗·C. 乔根森(Paul C. Jorgensen 著 王轶辰 王铁昆 曹志钦 译

作者简介The Craft of Model-Based TestingPaul C. Jorgensen博士从事交换系统软件开发工作20年,这是他的份职业。他于1986年开始了大学教学工作,先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程,后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余,他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议(CODASYL)、计算机协会(ACM)、电气和电子工程师协会(IEEE)标准委员会。2012年,他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。除了他的软件测试书籍《Software......

摘要

前  言The Craft of Model-Based Testing首先是免责声明:我所使用的“工匠”和“工匠精神”这两个词是完全中性的,无意冒犯任何人。我相信,基于模型的测试(MBT)技术能够成为也应该成为一门手艺,而非艺术。工匠精神包含3个关键部分:对物料的深入理解,选择合适工具的能力,以及使用这些工具的经验。工具与手艺之间的关系是很有趣的,一个工匠就算使用很破旧的工具也能做出让人满意的产品,但一个新手就算使用精妙的工具也制作不出好产品。对于MBT这门手艺来说,这一点尤其如此。除了软件测试之外,我个人最喜欢的手艺是木工活。作为一门手艺来说,木工需要了解物料,也就是木头。不同的木头有不同的特质,了解这些特质的木工才能做出正确的选择。枫木非常坚硬,需要非常锋利的工具;松木则很软,而且很容易塑型。我最喜欢的木头是樱桃木,它虽然不像枫木或者橡木那样坚硬,但是它有非常漂亮......

热门设计服务