Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextPublication details: [Hoboken, N.J.] : Wiley, c2008.Description: xxii, 488 p. : ill. ; 24 cmISBN:
  • 9780471455936 (pbk.)
  • 0471455938 (pbk.)
Subject(s): LOC classification:
  • QA76.76.T48 P495 2008
Online resources:
Contents:
Software test and analysis in a nutshell -- A framework for test and analysis -- Basic principles -- Test and analysis activities within a software process -- Finite models -- Dependence and data flow models -- Symbolic execution and proof of properties -- Finite state verification -- Test case selection and adequacy -- Functional testing -- Combinatorial testing -- Structural testing -- Data flow testing -- Model-based testing -- Testing object-oriented software -- Fault-based testing -- Text execution -- Inspection -- Program analysis -- Planning and monitoring the process -- Integration and component-based software testing -- System, acceptance, and regression testing -- Automating analysis and test -- Documenting analysis and test.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Books (30-Day Checkout) Books (30-Day Checkout) Nash Library General Stacks QA76.76.T48P495 2008 1 Available 33710001239164

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

Software test and analysis in a nutshell -- A framework for test and analysis -- Basic principles -- Test and analysis activities within a software process -- Finite models -- Dependence and data flow models -- Symbolic execution and proof of properties -- Finite state verification -- Test case selection and adequacy -- Functional testing -- Combinatorial testing -- Structural testing -- Data flow testing -- Model-based testing -- Testing object-oriented software -- Fault-based testing -- Text execution -- Inspection -- Program analysis -- Planning and monitoring the process -- Integration and component-based software testing -- System, acceptance, and regression testing -- Automating analysis and test -- Documenting analysis and test.