机读格式显示(MARC)

• 000 00983nam0 2200277 450

• 001 0000273331

• 005 20140516203200.0

• 010 __ |a 978-7-5612-3767-0 |d CNY29.00

• 100 __ |a 20131104d2013 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 610000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 基于模型的软件验证与测试 |A Ji Yu Mu Xing De Ruan Jian Yan Zheng Yu Ce Shi |f 郑炜编著

• 210 __ |a 西安 |c 西北工业大学出版社 |d 2013

• 215 __ |a 219页 |c 图 |d 23cm

• 300 __ |a 计算机系列教程

• 320 __ |a 有书目 (第200-219页)

• 330 __ |a 本书分为6章，内容涵盖基于FSM的软件测试、基于TTCN-3的软件测试、基于模型的Web服务测试、基于统计的软件测试、回归测试和组合测试。每章通过介绍具体测试的背景、研究现状，进一步提出了方法，并以实验进行了论证。

• 333 __ |a 高等院校计算机专业师生

• 606 0_ |a 软件 |A Ruan Jian |x 测试 |j 教材

• 690 __ |a TP311.55 |v 5

• 690 __ |a TP311.5 |v 4

• 701 _0 |a 郑炜 |A Zheng Wei |4 编著

• 801 _0 |a CN |b WXCSXY |c 20140516

• 905 __ |a WXCSXY |d TP311.5/242