本书以清晰易懂的方式、大量的实例和插图，描述了各种测试技术，使本书易学易用，非常方便学生理解和掌握书中的原理和技术。总之，这是软件测试领域一本非常出色的教材。
　　——Ashish Kundu，普度大学

　　作为讲授“软件测试和验证”课程的教师，我曾长期困惑于没有适合我的测试课程的教材，直到我看到了这本书，它内容全面、实例丰富、图文并茂、习题安排合理、参考文献和章末讨论利于读者进一步提高，并配有组织良好的PPT教学课件，因此，我认为本书是最好的软件测试教材之一。
　　——Abdeslam En-nouaary教授，康考迪亚大学

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

无

本书以清晰易懂的方式、大量的实例和插图，描述了各种测试技术，使本书易学易用，非常方便学生理解和掌握书中的原理和技术。总之，这是软件测试领域一本非常出色的教材。
　　——Ashish Kundu，普度大学

　　作为讲授“软件测试和验证”课程的教师，我曾长期困惑于没有适合我的测试课程的教材，直到我看到了这本书，它内容全面、实例丰富、图文并茂、习题安排合理、参考文献和章末讨论利于读者进一步提高，并配有组织良好的PPT教学课件，因此，我认为本书是最好的软件测试教材之一。
　　——Abdeslam En-nouaary教授，康考迪亚大学

　　本书基于实例讲述不同规模软件项目中的测试生成、选择、最小化和增强方面的最佳工程实践。全书还覆盖了基于数据流的测试充分性和基于变异的测试充分性，这些是可用的最有效的测试充分性准则。本书精选了由全世界数百位测试研究人员和实践人员发明和总结的测试知识及技术，采用通俗易懂的表述方式，使读者更容易理解和掌握。
　　测试生成、选择、优先排序和评估是测试过程中所有技术活动的基础。在此基础上合理部署各项组件，才能有效地测试不同类型的软件应用，包括面向对象系统、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