Software testing and analysis : process, principles, and techniques / Mauro Pezz©·, Michal Young.

Includes bibliographical references (p. 467-478) and index.

Fundamentals of Test and Analysis -- Software Test and Analysis in a Nutshell -- A Framework for Test and Analysis -- Basic Principles -- Test and Analysis Activities Within a Software Process -- Basic Techniques -- Finite Models -- Dependence and Data Flow Models -- Symbolic Execution and Proof of Properties -- Finite State Verification -- Problems and Methods -- Test Case Selection and Adequacy -- Functional Testing -- Combinatorial Testing -- Structural Testing -- Data Flow Testing -- Model-Based Testing -- Testing Object-Oriented Software -- Fault-Based Testing -- Test Execution -- Inspection -- Program Analysis -- Process -- Planning and Monitoring the Process -- Integration and Component-based Software Testing -- System, Acceptance, and Regression Testing -- Automating Analysis and Test -- Documenting Analysis and Test -- bibliography -- Index.

The first comprehensive book on software test 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.

1