Description |
xxii, 488 p. : ill. ; 24 cm. |
Bibliography |
Includes bibliographical references (p. 467-478) and index. |
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. |
Subject |
Computer software -- Testing.
|
|
Computer software -- Quality control.
|
Added Author |
Young, Michal.
|
ISBN |
9780471455936 (pbk.) |
|
0471455938 (pbk.) |
Standard No. |
YDXCP 2414268 |
|
AU@ 000041690230 |
|
NLGGC 301285152 |
|
NZ1 11059931 |
|