Software testing and analysis: process, principles, and techniques
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, a...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Hoboken, NJ
Wiley
c 2008
|
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis |
| Zusammenfassung: | 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. Highlights of the book include: Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process. A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development. A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art. Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding. |
| Beschreibung: | Literaturverz. S. 467 - 478 |
| Beschreibung: | XXII, 488 S. Ill., graph. Darst. |
| ISBN: | 9780471455936 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022225103 | ||
| 003 | DE-604 | ||
| 005 | 20210916 | ||
| 007 | t | ||
| 008 | 070115s2008 ad|| |||| 00||| eng d | ||
| 020 | |a 9780471455936 |9 978-0-471-45593-6 | ||
| 035 | |a (OCoLC)123408179 | ||
| 035 | |a (DE-599)BVBBV022225103 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-M347 |a DE-573 |a DE-384 |a DE-739 |a DE-355 | ||
| 050 | 0 | |a QA76.76.T48 | |
| 082 | 0 | |a 005.14 |2 22 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Pezzè, Mauro |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software testing and analysis |b process, principles, and techniques |c Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon |
| 264 | 1 | |a Hoboken, NJ |b Wiley |c c 2008 | |
| 300 | |a XXII, 488 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 467 - 478 | ||
| 520 | 3 | |a 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. Highlights of the book include: Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process. A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development. A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art. Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding. | |
| 650 | 4 | |a Computer software |x Quality control | |
| 650 | 4 | |a Computer software |x Testing | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Young, Michal |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 856 | 4 | 1 | |u http://ix.cs.uoregon.edu/~michal/book/Samples/book.pdf |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015436250&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015436250 | ||
Datensatz im Suchindex
| _version_ | 1804136210380095488 |
|---|---|
| adam_text | Contents
List of Figures xi
List of Tables xv
I Fundamentals of Test and Analysis 1
1 Software Test and Analysis in a Nutshell 3
1.1 Engineering Processes and Verification 3
1.2 Basic Questions 5
1.3 When Do Verification and Validation Start and End? 5
1.4 What Techniques Should Be Applied? 7
1.5 How Can We Assess the Readiness of a Product? 10
1.6 How Can We Ensure the Quality of Successive Releases? 11
1.7 How Can the Development Process Be Improved? 11
2 A Framework for Test and Analysis 15
2.1 Validation and Verification 15
2.2 Degrees of Freedom 18
2.3 Varieties of Software 23
3 Basic Principles 29
3.1 Sensitivity 29
3.2 Redundancy 32
3.3 Restriction 33
3.4 Partition 35
3.5 Visibility 36
3.6 Feedback 36
4 Test and Analysis Activities Within a Software Process 39
4.1 The Quality Process 39
4.2 Planning and Monitoring 41
4.3 Quality Goals 42
4.4 Dependability Properties 43
4.5 Analysis 46
v
4.6 Testing 48
4.7 Improving the Process 49
4.8 Organizational Factors 50
II Basic Techniques 53
5 Finite Models 55
5.1 Overview 55
5.2 Finite Abstractions of Behavior 58
5.3 Control Flow Graphs 59
5.4 Call Graphs 63
5.5 Finite State Machines 65
6 Dependence and Data Flow Models 77
6.1 Definition Use Pairs 77
6.2 Data Flow Analysis 82
6.3 Classic Analyses: Live and Avail 85
6.4 From Execution to Conservative Flow Analysis 91
6.5 Data Flow Analysis with Arrays and Pointers 94
6.6 Interprocedural Analysis 96
7 Symbolic Execution and Proof of Properties 101
7.1 Symbolic State and Interpretation 102
7.2 Summary Information 104
7.3 Loops and Assertions 105
7.4 Compositional Reasoning 108
7.5 Reasoning about Data Structures and Classes 109
8 Finite State Verification 113
8.1 Overview 113
8.2 State Space Exploration 116
8.3 The State Space Explosion Problem 126
8.4 The Model Correspondence Problem 129
8.5 Granularity of Modeling 131
8.6 Intensional Models 134
8.7 Model Refinement 138
8.8 Data Model Verification with Relational Algebra 140
III Problems and Methods 149
9 Test Case Selection and Adequacy 151
9.1 Overview 151
9.2 Test Specifications and Cases 152
9.3 Adequacy Criteria 154
9.4 Comparing Criteria 157
10 Functional Testing 161
10.1 Overview 161
10.2 Random versus Partition Testing Strategies 162
10.3 A Systematic Approach 167
10.4 Choosing a Suitable Approach 174
11 Combinatorial Testing 179
11.1 Overview 180
11.2 Category Partition Testing 180
11.3 Pairwise Combination Testing 188
11.4 Catalog Based Testing 194
12 Structural Testing 211
12.1 Overview 212
12.2 Statement Testing 215
12.3 Branch Testing 217
12.4 Condition Testing 219
12.5 Path Testing 222
12.6 Procedure Call Testing 229
12.7 Comparing Structural Testing Criteria 230
12.8 The Infeasibility Problem 230
13 Data Flow Testing 235
13.1 Overview 236
13.2 Definition Use Associations 236
13.3 Data Flow Testing Criteria 239
13.4 Data Flow Coverage with Complex Structures 241
13.5 The Infeasibility Problem 243
14 Model Based Testing 245
14.1 Overview 245
14.2 Deriving Test Cases from Finite State Machines 246
14.3 Testing Decision Structures 251
14.4 Deriving Test Cases from Control and Data Flow Graphs 257
14.5 Deriving Test Cases from Grammars 257
15 Testing Object Oriented Software 271
15.1 Overview 271
15.2 Issues in Testing Object Oriented Software 272
15.3 An Orthogonal Approach to Test 280
15.4 Intraclass Testing 282
15.5 Testing with State Machine Models 282
15.6 Interclass Testing 286
15.7 Structural Testing of Classes 293
15.8 Oracles for Classes 298
15.9 Polymorphism and Dynamic Binding 301
15.10 Inheritance 303
15.11 Genericity 306
15.12 Exceptions 308
16 Fault Based Testing 313
16.1 Overview 313
16.2 Assumptions in Fault Based Testing 314
16.3 Mutation Analysis 315
16.4 Fault Based Adequacy Criteria 319
16.5 Variations on Mutation Analysis 321
17 Test Execution 327
17.1 Overview 327
17.2 From Test Case Specifications to Test Cases 328
17.3 Scaffolding 329
17.4 Generic versus Specific Scaffolding 330
17.5 Test Oracles 332
17.6 Self Checks as Oracles 334
17.7 Capture and Replay 337
18 Inspection 341
18.1 Overview 341
18.2 The Inspection Team 343
18.3 The Inspection Process 344
18.4 Checklists 345
18.5 Pair Programming 351
19 Program Analysis 355
19.1 Overview 355
19.2 Symbolic Execution in Program Analysis 356
19.3 Symbolic Testing 358
19.4 Summarizing Execution Paths 359
19.5 Memory Analysis 360
19.6 Lockset Analysis 363
19.7 Extracting Behavior Models from Execution 365
IV Process 373
20 Planning and Monitoring the Process 375
20.1 Overview 375
20.2 Quality and Process 376
20.3 Test and Analysis Strategies 377
20.4 Test and Analysis Plans 382
20.5 Risk Planning 386
20.6 Monitoring the Process 389
20.7 Improving the Process 394
20.8 The Quality Team 399
21 Integration and Component based Software Testing 405
21.1 Overview 405
21.2 Integration Testing Strategies 408
21.3 Testing Components and Assemblies 413
22 System, Acceptance, and Regression Testing 417
22.1 Overview 417
22.2 System Testing 418
22.3 Acceptance Testing 421
22.4 Usability 423
22.5 Regression Testing 427
22.6 Regression Test Selection Techniques 428
22.7 Test Case Prioritization and Selective Execution 434
23 Automating Analysis and Test 439
23.1 Overview 439
23.2 Automation and Planning 441
23.3 Process Management 441
23.4 Static Metrics 443
23.5 Test Case Generation and Execution 445
23.6 Static Analysis and Proof 445
23.7 Cognitive Aids 448
23.8 Version Control 449
23.9 Debugging 449
23.10 Choosing and Integrating Tools 451
24 Documenting Analysis and Test 455
24.1 Overview 455
24.2 Organizing Documents 456
24.3 Test Strategy Document 458
24.4 Analysis and Test Plan 458
24.5 Test Design Specification Documents 460
24.6 Test and Analysis Reports 462
Bibliography 467
Index 479
|
| adam_txt |
Contents
List of Figures xi
List of Tables xv
I Fundamentals of Test and Analysis 1
1 Software Test and Analysis in a Nutshell 3
1.1 Engineering Processes and Verification 3
1.2 Basic Questions 5
1.3 When Do Verification and Validation Start and End? 5
1.4 What Techniques Should Be Applied? 7
1.5 How Can We Assess the Readiness of a Product? 10
1.6 How Can We Ensure the Quality of Successive Releases? 11
1.7 How Can the Development Process Be Improved? 11
2 A Framework for Test and Analysis 15
2.1 Validation and Verification 15
2.2 Degrees of Freedom 18
2.3 Varieties of Software 23
3 Basic Principles 29
3.1 Sensitivity 29
3.2 Redundancy 32
3.3 Restriction 33
3.4 Partition 35
3.5 Visibility 36
3.6 Feedback 36
4 Test and Analysis Activities Within a Software Process 39
4.1 The Quality Process 39
4.2 Planning and Monitoring 41
4.3 Quality Goals 42
4.4 Dependability Properties 43
4.5 Analysis 46
v
4.6 Testing 48
4.7 Improving the Process 49
4.8 Organizational Factors 50
II Basic Techniques 53
5 Finite Models 55
5.1 Overview 55
5.2 Finite Abstractions of Behavior 58
5.3 Control Flow Graphs 59
5.4 Call Graphs 63
5.5 Finite State Machines 65
6 Dependence and Data Flow Models 77
6.1 Definition Use Pairs 77
6.2 Data Flow Analysis 82
6.3 Classic Analyses: Live and Avail 85
6.4 From Execution to Conservative Flow Analysis 91
6.5 Data Flow Analysis with Arrays and Pointers 94
6.6 Interprocedural Analysis 96
7 Symbolic Execution and Proof of Properties 101
7.1 Symbolic State and Interpretation 102
7.2 Summary Information 104
7.3 Loops and Assertions 105
7.4 Compositional Reasoning 108
7.5 Reasoning about Data Structures and Classes 109
8 Finite State Verification 113
8.1 Overview 113
8.2 State Space Exploration 116
8.3 The State Space Explosion Problem 126
8.4 The Model Correspondence Problem 129
8.5 Granularity of Modeling 131
8.6 Intensional Models 134
8.7 Model Refinement 138
8.8 Data Model Verification with Relational Algebra 140
III Problems and Methods 149
9 Test Case Selection and Adequacy 151
9.1 Overview 151
9.2 Test Specifications and Cases 152
9.3 Adequacy Criteria 154
9.4 Comparing Criteria 157
10 Functional Testing 161
10.1 Overview 161
10.2 Random versus Partition Testing Strategies 162
10.3 A Systematic Approach 167
10.4 Choosing a Suitable Approach 174
11 Combinatorial Testing 179
11.1 Overview 180
11.2 Category Partition Testing 180
11.3 Pairwise Combination Testing 188
11.4 Catalog Based Testing 194
12 Structural Testing 211
12.1 Overview 212
12.2 Statement Testing 215
12.3 Branch Testing 217
12.4 Condition Testing 219
12.5 Path Testing 222
12.6 Procedure Call Testing 229
12.7 Comparing Structural Testing Criteria 230
12.8 The Infeasibility Problem 230
13 Data Flow Testing 235
13.1 Overview 236
13.2 Definition Use Associations 236
13.3 Data Flow Testing Criteria 239
13.4 Data Flow Coverage with Complex Structures 241
13.5 The Infeasibility Problem 243
14 Model Based Testing 245
14.1 Overview 245
14.2 Deriving Test Cases from Finite State Machines 246
14.3 Testing Decision Structures 251
14.4 Deriving Test Cases from Control and Data Flow Graphs 257
14.5 Deriving Test Cases from Grammars 257
15 Testing Object Oriented Software 271
15.1 Overview 271
15.2 Issues in Testing Object Oriented Software 272
15.3 An Orthogonal Approach to Test 280
15.4 Intraclass Testing 282
15.5 Testing with State Machine Models 282
15.6 Interclass Testing 286
15.7 Structural Testing of Classes 293
15.8 Oracles for Classes 298
15.9 Polymorphism and Dynamic Binding 301
15.10 Inheritance 303
15.11 Genericity 306
15.12 Exceptions 308
16 Fault Based Testing 313
16.1 Overview 313
16.2 Assumptions in Fault Based Testing 314
16.3 Mutation Analysis 315
16.4 Fault Based Adequacy Criteria 319
16.5 Variations on Mutation Analysis 321
17 Test Execution 327
17.1 Overview 327
17.2 From Test Case Specifications to Test Cases 328
17.3 Scaffolding 329
17.4 Generic versus Specific Scaffolding 330
17.5 Test Oracles 332
17.6 Self Checks as Oracles 334
17.7 Capture and Replay 337
18 Inspection 341
18.1 Overview 341
18.2 The Inspection Team 343
18.3 The Inspection Process 344
18.4 Checklists 345
18.5 Pair Programming 351
19 Program Analysis 355
19.1 Overview 355
19.2 Symbolic Execution in Program Analysis 356
19.3 Symbolic Testing 358
19.4 Summarizing Execution Paths 359
19.5 Memory Analysis 360
19.6 Lockset Analysis 363
19.7 Extracting Behavior Models from Execution 365
IV Process 373
20 Planning and Monitoring the Process 375
20.1 Overview 375
20.2 Quality and Process 376
20.3 Test and Analysis Strategies 377
20.4 Test and Analysis Plans 382
20.5 Risk Planning 386
20.6 Monitoring the Process 389
20.7 Improving the Process 394
20.8 The Quality Team 399
21 Integration and Component based Software Testing 405
21.1 Overview 405
21.2 Integration Testing Strategies 408
21.3 Testing Components and Assemblies 413
22 System, Acceptance, and Regression Testing 417
22.1 Overview 417
22.2 System Testing 418
22.3 Acceptance Testing 421
22.4 Usability 423
22.5 Regression Testing 427
22.6 Regression Test Selection Techniques 428
22.7 Test Case Prioritization and Selective Execution 434
23 Automating Analysis and Test 439
23.1 Overview 439
23.2 Automation and Planning 441
23.3 Process Management 441
23.4 Static Metrics 443
23.5 Test Case Generation and Execution 445
23.6 Static Analysis and Proof 445
23.7 Cognitive Aids 448
23.8 Version Control 449
23.9 Debugging 449
23.10 Choosing and Integrating Tools 451
24 Documenting Analysis and Test 455
24.1 Overview 455
24.2 Organizing Documents 456
24.3 Test Strategy Document 458
24.4 Analysis and Test Plan 458
" 24.5 Test Design Specification Documents 460
24.6 Test and Analysis Reports 462
Bibliography 467
Index 479 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Pezzè, Mauro |
| author_facet | Pezzè, Mauro |
| author_role | aut |
| author_sort | Pezzè, Mauro |
| author_variant | m p mp |
| building | Verbundindex |
| bvnumber | BV022225103 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.T48 |
| callnumber-search | QA76.76.T48 |
| callnumber-sort | QA 276.76 T48 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 233 |
| collection | ebook |
| ctrlnum | (OCoLC)123408179 (DE-599)BVBBV022225103 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03431nam a2200433 c 4500</leader><controlfield tag="001">BV022225103</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210916 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070115s2008 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780471455936</subfield><subfield code="9">978-0-471-45593-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)123408179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022225103</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.T48</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pezzè, Mauro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software testing and analysis</subfield><subfield code="b">process, principles, and techniques</subfield><subfield code="c">Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, NJ</subfield><subfield code="b">Wiley</subfield><subfield code="c">c 2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 488 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 467 - 478</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">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. Highlights of the book include: Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process. A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development. A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art. Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Quality control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Young, Michal</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://ix.cs.uoregon.edu/~michal/book/Samples/book.pdf</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015436250&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015436250</subfield></datafield></record></collection> |
| id | DE-604.BV022225103 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:30:39Z |
| indexdate | 2024-07-09T20:52:47Z |
| institution | BVB |
| isbn | 9780471455936 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015436250 |
| oclc_num | 123408179 |
| open_access_boolean | 1 |
| owner | DE-703 DE-M347 DE-573 DE-384 DE-739 DE-355 DE-BY-UBR |
| owner_facet | DE-703 DE-M347 DE-573 DE-384 DE-739 DE-355 DE-BY-UBR |
| physical | XXII, 488 S. Ill., graph. Darst. |
| psigel | ebook |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Wiley |
| record_format | marc |
| spelling | Pezzè, Mauro Verfasser aut Software testing and analysis process, principles, and techniques Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon Hoboken, NJ Wiley c 2008 XXII, 488 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 467 - 478 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. Highlights of the book include: Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process. A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development. A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art. Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding. Computer software Quality control Computer software Testing Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 s DE-604 Young, Michal Sonstige oth Erscheint auch als Online-Ausgabe http://ix.cs.uoregon.edu/~michal/book/Samples/book.pdf Verlag kostenfrei Volltext HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015436250&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Pezzè, Mauro Software testing and analysis process, principles, and techniques Computer software Quality control Computer software Testing Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4132652-0 |
| title | Software testing and analysis process, principles, and techniques |
| title_auth | Software testing and analysis process, principles, and techniques |
| title_exact_search | Software testing and analysis process, principles, and techniques |
| title_exact_search_txtP | Software testing and analysis process, principles, and techniques |
| title_full | Software testing and analysis process, principles, and techniques Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon |
| title_fullStr | Software testing and analysis process, principles, and techniques Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon |
| title_full_unstemmed | Software testing and analysis process, principles, and techniques Mauro Pezzè, Università di Milano Bicocca, Michal Young, University of Oregon |
| title_short | Software testing and analysis |
| title_sort | software testing and analysis process principles and techniques |
| title_sub | process, principles, and techniques |
| topic | Computer software Quality control Computer software Testing Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Computer software Quality control Computer software Testing Softwaretest |
| url | http://ix.cs.uoregon.edu/~michal/book/Samples/book.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015436250&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pezzemauro softwaretestingandanalysisprocessprinciplesandtechniques AT youngmichal softwaretestingandanalysisprocessprinciplesandtechniques |