Software testing and analysis : process, principles, and techniques / Mauro Pezzè, Michal Young.
Material type: TextPublication details: [Hoboken, N.J.] : Wiley, c2008.Description: xxii, 488 p. : ill. ; 24 cmISBN:- 9780471455936 (pbk.)
- 0471455938 (pbk.)
- QA76.76.T48 P495 2008
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
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.