软件测试基础教程（英文版）

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