Software Testing and Analysis

You can't "test quality into" a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost.

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.

TABLE OF CONTENT:
Chapter 01 - Software Test and Analysis in a Nutshell
Chapter 02 - A Framework for Test and Analysis
Chapter 03 - Basic Principles
Chapter 04 - Test and Analysis Activities Within a Software Process
Chapter 05 - Finite Models
Chapter 06 - Dependence and Data Flow Models
Chapter 07 - Symbolic Execution and Proof of Properties
Chapter 08 - Finite State Verification
Chapter 09 - Test Case Selection and Adequacy
Chapter 10 - Functional Testing
Chapter 11 - Combinatorial Testing
Chapter 12 - Structural Testing
Chapter 13 - Data Flow Testing
Chapter 14 - Model-Based Testing
Chapter 15 - Testing Object-Oriented Software
Chapter 16 - Fault-Based Testing
Chapter 17 - Test Execution
Chapter 18 - Inspection
Chapter 19 - Program Analysis
Chapter 20 - Planning and Monitoring the Process
Chapter 21 - Integration and Component-based Software Testing
Chapter 22 - System, Acceptance, and Regression Testing
Chapter 23 - Automating Analysis and Test
Chapter 24 - Documenting Analysis and Test

Download from Rapidshare
or
Download from Mihd

password:ganelon