基本信息出版社：机械工业出版社
页码：689 页
出版日期：2008年08月
ISBN：7111247329
条形码：9787111247326
版本：第1版
装帧：平装
开本：16
正文语种：中文
丛书名：经典原版书库
图书品牌：华章图书

内容简介 本书基于实例讲述不同规模软件项目中的测试生成、选择、最小化和增强方面的最佳工程实践。全书还覆盖了基于数据流的测试充分性和基于变异的测试充分性，这些是可用的最有效的测试充分性准则。本书精选了由全世界数百位测试研究人员和实践人员发明和总结的测试知识及技术，采用通俗易懂的表述方式，使读者更容易理解和掌握。.
测试生成、选择、优先排序和评估是测试过程中所有技术活动的基础。在此基础上合理部署各项组件，才能有效地测试不同类型的软件应用，包括面向对象系统、Web服务、图形用户接口、嵌入式系统以及与安全、性能和可靠性有关的各种属性。本书采用大量的实例和习题，循序渐进地介绍各种测试技术（包括有限状态模型、组合设计和回归测试的最小化等）。
作者简介 Aditya P. Mathur 普度大学计算机系主任、教授，印度BITS Pilani大学计算机系创始人之一。他是一位成果颇丰的学者，在国家期刊和会议上发表了100多篇论文。他的重要学术成果包括多语言计算机、软件测试的饱和效应、软件控制论、软件可靠性估算的新技术等。
目录
PART 1:PREUMINARIES .
1.BASICS OF SOFTWARE TESTING
PART 2:TEST GENERATION
2.TEST GENERATION FROM REQUIREMENTS
3.TEST GENERATION FROM FINITE STATE MODELS
4.TEST GENERATION FROM COMBINATORIAL DESIGNS ..
5.TEST SELECTION,MINIMIZATIONS,AND PRIARITIZATION TESTING
PART 3 TEST ADEQURCY ASSESSMENT AND ENHANCEMENT
6.TEST ADEQURCY:ASSESSMENT USING CONTROL FLOW AND DATA FLOW
7.TEST-ADEQURCY ASSESSMENT USING PROGRRM MUTATION
Summary
Bibliographic Notes
Exercises
References
Subject Index
Name Index
……