杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件测试:原理、模型、验证与实践/王蓁蓁著

出版发行项:

北京:清华大学出版社,2021

ISBN及定价:

978-7-302-58348-6/CNY99.00

载体形态项:

404页:图;24cm

丛编项:

计算机科学与技术丛书

个人责任者:

王蓁蓁 著

学科主题:

软件开发-程序测试

中图法分类号:

TP311.55

责任者附注:

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

书目附注:

有书目 (第394-402页)

提要文摘附注:

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

豆瓣简介：