机读格式显示(MARC)

• 000 01608cam 2200373 450

• 001 0000568659

• 005 20191121100000.0

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

• 099 __ |a CAL 012019105260

• 100 __ |a 20190826d2019 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

• 300 __ |a 华章教育

• 306 __ |a 中文简体字翻译版由Taylor & Francis出版集团旗下CRC出版公司授权出版

• 320 __ |a 有书目

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

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

• 500 10 |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.55 |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 CAU |c 20191115

• 905 __ |a CAU |d TP311.55/40

• 920 __ |a 211180 |z 1