Textbook

Software Testing and Analysis: Process, Principles and Techniques

< >

Designed for use as either an undergraduate or beginning graduate text, Software Testing and Analysis: Process, Principles, and Techniques is designed to allow selective reading for different focuses and levels, or for use in a two course sequence. Students learn fundamental principles, both technical and non-technical, and a variety of techniques of both industrial and research interest. Go to http://www.cs.uoregon.edu/~michal/book/ to learn more and access additional resources.

Table of Contents

I Fundamentals of Test and Analysis

1 Software Test and Analysis in a Nutshell

2 A Framework for Test and Analysis

3 Basic Principles

4 Test and Analysis Activities Within a Software Process

II Basic Techniques

5 Finite Models

6 Dependence and Data Flow Models

7 Symbolic Execution and Proof of Properties

8 Finite State Verification

III Problems and Methods

9 Test Case Selection and Adequacy

10 Functional Testing

11 Combinatorial Testing

12 Structural Testing

13 Data Flow Testing

14 Model-Based Testing

15 Testing Object-Oriented Software

16 Fault-Based Testing

17 Test Execution

18 Inspection

19 Program Analysis

IV Process

20 Planning and Monitoring the Process

21 Integration and Component-based Software Testing

22 System, Acceptance, and Regression Testing

23 Automating Analysis and Test

24 Documenting Analysis and Test

Bibliography

Index

Author Information

Michal Young, PhD, is Associate Professor of Computer Science at University of Oregon. He earned a doctorate in information and computer science from University of California, Irvine. He has formerly served on the faculty of Purdue University, the Tecnopadova Master of Software Engineering Program in Padua, Italy, and the Oregon Master of Software Engineering. He has served as technical program chair of the 1998 ACM International Symposium on Software Testing and Analysis, program co-chair of the 2002 International Conference on Software Engineering, general chair of the ACM Sigsoft 2006 Symposium on Foundations of Software Engineering, and as associate editor of IEEE Transactions on Software Engineering.

Mauro Pezzè, PhD, is Professor of Computer Science at the University of Milano–Bicocca. He received his PhD degree in computer science from Politecnico di Milano (Italy). Dr. Pezzè has served as technical program chair of the 2006 ACM International Symposium on Software Testing and Analysis. He has been technical lead for several multi-year international research and development projects in close collaboration with leading European information and communication companies including IBM, Phillips, Elsag, and Siemens, among others. He also has an active consulting practice.

Hallmark Features

* Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process.
* A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development.
* A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art.
Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding.
By incorporating software testing and analysis techniques into modern practice, Software Testing and Analysis: Process, Principles, and Techniques provides both students and professionals with realistic strategies for reliable and cost-effective software development.

Available Versions

Software Testing and Analysis: Process, Principles and Techniques

by Mauro Pezze, Michal Young

ISBN 978-0-471-45593-6

Paperback, 488 pages

US $106.95

Add to Cart This is a Print-on-Demand title. It will be printed specifically to fill your order. Please allow an additional 2-3 days delivery time. The book is not returnable.