02752cam a2200253Ia 4500
2800
2800
7037233
OSt
20200122232442.0
060703s2008 ii a g b 001 0 eng d
9788126517732 (pbk)
NCL
LIN2019
005.14
PEZ-S 2008 3375
Pezzè, Mauro.
Software testing and analysis :
process, principles, and techniques /
by Mauro Pezzè, Michal Young.
New Delhi :
Wiley,
c2008.
xxii, 488 p. :
ill. ;
24 cm.
Includes bibliographical references (p. 467-478) and index.
1.
Chapter 1: Software test and analysis in a nutshell --
2.
Chapter 2: A framework for test and analysis --
3.
Chapter 3: Bask principles --
4.
Chapter 4: Test and analysis activities within a software process --
5.
Chapter 5: Finite models --
6.
Chapter 6: Dependence and data flow models --
7.
Chapter 7: Symbolic execution and proof of properties --
8.
Chapter 8: Finite state verification --
9.
Chapter 9: Test case selection and adequacy --
10.
Chapter 10: Functional testing --
11.
Chapter 11: Combinatorial testing --
12.
Chapter 12: Structural testing --
13.
Chapter 13: Data flow testing --
14.
Chapter 14: Model-based testing --
15.
Chapter 15: Testing object-oriented software --
16.
Chapter 16: Fault-based testing --
17.
Chapter 17: Test execution --
18.
Chapter 18: Inspection --
19.
Chapter 19: Program analysis --
20.
Chapter 20: Planning and monitoring the process --
21.
Chapter 21: Integration and component-based software testing --
22.
Chapter 22: System, acceptance, and regression testing --
23.
Chapter 23: Automating analysis and test --
24.
Chapter 24: Documenting analysis and test.
"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."--BOOK JACKET.
Computer software
Testing.
Computer software
Quality control.
Young, Michal.
ddc
BK
0
0
ddc
0
0
NCL
NCL
Computer Science
2014-01-21
allied book company
800.90
Bill No. 2984
0
005.14 PEZ-S 2008 3375
0003375
2014-01-21
2014-01-21
BK