机读格式显示(MARC)

• 000 01330nam 2200289 450

• 001 0000842303

• 005 20220329092500.0

• 010 __ |a 978-7-302-58348-6 |d CNY99.00

• 100 __ |a 20211129d2021 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 软件测试 |A ruan jian ce shi |e 原理、模型、验证与实践 |f 王蓁蓁著

• 210 __ |a 北京 |c 清华大学出版社 |d 2021

• 215 __ |a 404页 |c 图 |d 24cm

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

• 314 __ |a 王蓁蓁, 金陵科技学院软件工程学院副教授, 江苏省软件测试工程实验室主任。

• 320 __ |a 有书目 (第394-402页)

• 330 __ |a 本书是国内第一部深入系统地论述软件测试原理、软件测试模型的著作。本书主要阐述软件测试的思想--基于“证实”和“证伪”两种原理, 并把当前流行的软件测试方法进行了系统梳理。全书共分为两篇: 第一篇软件测试证明论思想原理 (第2章-第8章), 阐述了软件开发过程中的验证活动, 原型和图像, 模型检验, 程序正确性演绎证明, 组合测试; 第二篇软件测试中的证伪论思想原理(第9章-第12章), 阐述了软件开发过程中的“证伪”活动, 软件测试理论, 随机测试, 众包测试。

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

• 606 0_ |a 软件开发 |A ruan jian kai fa |x 程序测试

• 690 __ |a TP311.55 |v 5

• 701 _0 |a 王蓁蓁 |A wang zhen zhen |4 著

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

• 905 __ |a HDUL |d TP311.55/144

• 920 __ |a 233030 |z 1