机读格式显示(MARC)

• 000 02191oam 2200361 450

• 001 0000750867

• 005 20191025141300.0

• 010 __ |a 978-7-111-62898-9 |d CNY79.00

• 100 __ |a 20190722d2019 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 基于模型的测试 |A ji yu mo xing de ce shi |e 一个软件工艺师的方法 |f (美) 保罗·C. 乔根森著 |d The craft of model-based testing |f Paul C. Jorgensen |g 王轶辰, 王轶昆, 曹志钦译 |z eng

• 210 __ |a 北京 |c 机械工业出版社 |d 2019

• 215 __ |a xii, 268页 |c 图 |d 26cm

• 225 2_ |a 计算机科学丛书 |A ji suan ji ke xue cong shu

• 306 __ |a 本书中文简体字翻译版授权由机械工业出版社独家出版

• 314 __ |a 保罗·C. 乔根森 (Paul C. Jorgensen), 从事电话交换系统软件开发工作20年, 这是他的第一份职业, 他于1986年开始了大学教学工作, 先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程, 后于1988年在位于密歌根州阿伦达尔的大峡谷州立大学担任正教授, 在从事学术工作之余, 他还短暂从事过“软件范型”的咨询业务。王轶辰, 北京航空航天大学可靠性与系统工程学院副教授, 硕士研究生导师, 主要研究方向为软件可靠性技术与软件验证技术, 曾获得国防科技进步一等奖。王轶昆, 计算机专业硕士, 担任中国软件测试认证委员会测试自动化专业组组长。曹志钦, 北京航空航天大学可靠性与系统工程学院硕士研究生, 研究方向为软件可靠性与软件测试技术。

• 320 __ |a 有书目

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

• 410 _0 |1 2001 |a 计算机科学丛书

• 500 10 |a Craft of model-based testing |A Craft Of Model-based Testing |m Chinese

• 517 1_ |a 一个软件工艺师的方法 |A yi ge ruan jian gong yi shi de fang fa

• 606 0_ |a 软件 |A ruan jian |x 测试

• 690 __ |a TP311.5 |v 5

• 701 _1 |a 乔根森 |A qiao gen sen |g (Jorgensen, Paul C.) |4 著

• 702 _0 |a 王轶辰 |A wang yi chen |4 译

• 702 _0 |a 王轶昆 |A wang yi kun |4 译

• 702 _0 |a 曹志钦 |A cao zhi qin |4 译

• 801 _0 |a CN |b HDUL |c 20191025

• 905 __ |a HDUL |d TP311.5/2444

• 920 __ |a 233030 |z 1