Introduction to software testing:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, United Kingdom
Cambridge University Press
2017
|
| Edition: | second edition |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | xx, 345 pages Illustrationen, Diagramme |
| ISBN: | 9781107172012 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044010467 | ||
| 003 | DE-604 | ||
| 005 | 20171024 | ||
| 007 | t | ||
| 008 | 170124s2017 xxka||| |||| 00||| eng d | ||
| 010 | |a 016032808 | ||
| 020 | |a 9781107172012 |c hbk. |9 978-1-107-17201-2 | ||
| 035 | |a (OCoLC)976017344 | ||
| 035 | |a (DE-599)BVBBV044010467 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-92 |a DE-473 |a DE-739 |a DE-706 |a DE-898 | ||
| 050 | 0 | |a QA76.76.T48 | |
| 082 | 0 | |a 005.3028/7 |2 23 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Ammann, Paul |d 1961- |e Verfasser |0 (DE-588)1028627149 |4 aut | |
| 245 | 1 | 0 | |a Introduction to software testing |c Paul Ammann, George Mason University ; Jeff Offutt, George Mason University |
| 250 | |a second edition | ||
| 264 | 1 | |a Cambridge, United Kingdom |b Cambridge University Press |c 2017 | |
| 300 | |a xx, 345 pages |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer software |x Testing | |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Offutt, Jeff |d 1961- |e Verfasser |0 (DE-588)135551609 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029418185&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029418185 | |
Record in the Search Index
| _version_ | 1812596174471823360 |
|---|---|
| adam_text |
Contents
List of Figures page ix
List of Tables xii
Preface to the Second Edition xiv
Part 1 Foundations 1
1 Why Do We Test Software? 3
1.1 When Software Goes Bad 4
1.2 Goals of Testing Software 8
1.3 Bibliographic Notes 17
2 Model-Driven Test Design 19
2.1 Software Testing Foundations 20
2.2 Software Testing Activities 21
2.3 Testing Levels Based on Software Activity 22
2.4 Coverage Criteria 25
2.5 Model-Driven Test Design 27
2.5.1 Test Design 28
2.5.2 Test Automation 29
2.5.3 Test Execution 29
2.5.4 Test Evaluation 29
2.5.5 Test Personnel and Abstraction 29
2.6 Why MDTD Matters 31
2.7 Bibliographic Notes 33
3 Test Automation 35
3.1 Software Testability 36
3.2 Components of a Test Case 36
VI
Contents
3.3 A Test Automation Framework 39
3.3.1 The JUnit Test Framework 40
3.3.2 Data-Driven Tests 44
3.3.3 Adding Parameters to Unit Tests 47
3.3.4 JUnit from the Command Line 50
3.4 Beyond Test Automation 50
3.5 Bibliographic Notes 53
4 Putting Testing First 54
4.1 Taming the Cost-of-Change Curve 54
4.1.1 Is the Curve Really Tamed? 56
4.2 The Test Harness as Guardian 57
4.2.1 Continuous Integration 58
4.2.2 System Tests in Agile Methods 59
4.2.3 Adding Tests to Legacy Systems 60
4.2.4 Weaknesses in Agile Methods for Testing 61
4.3 Bibliographic Notes 62
5 Criteria-Based Test Design 64
5.1 Coverage Criteria Defined 64
5.2 Infeasibility and Subsumption 68
5.3 Advantages of Using Coverage Criteria 68
5.4 Next Up 70
5.5 Bibliographic Notes 70
Part 2 Coverage Criteria 73
6 Input Space Partitioning 75
6.1 Input Domain Modeling 77
6.1.1 Interface-Based Input Domain Modeling 79
6.1.2 Functionality-Based Input Domain Modeling 79
6.1.3 Designing Characteristics 80
6.1.4 Choosing Blocks and Values 81
6.1.5 Checking the Input Domain Model 84
6.2 Combination Strategies Criteria 86
6.3 Handling Constraints Among Characteristics 92
6.4 Extended Example: Deriving an IDM from JavaDoc 93
6.4.1 Tasks in Designing IDM-Based Tests 93
6.4.2 Designing IDM-Based Tests for Iterator 94
6.5 Bibliographic Notes 102
7 Graph Coverage 106
7.1 Overview 106
7.2 Graph Coverage Criteria 111
7.2.1 Structural Coverage Criteria 112
7.2.2 Touring, Sidetrips, and Detours 116
7.2.3 Data Flow Criteria 123
7.2.4 Subsumption Relationships Among Graph
Coverage Criteria
130
Contents vi i
7.3 Graph Coverage for Source Code 131
7.3.1 Structural Graph Coverage for Source Code 132
7.3.2 Data Flow Graph Coverage for Source Code 136
7.4 Graph Coverage for Design Elements 146
7.4.1 Structural Graph Coverage for Design Elements 147
7.4.2 Data Flow Graph Coverage for Design Elements 148
7.5 Graph Coverage for Specifications 157
7.5.1 Testing Sequencing Constraints 157
7.5.2 Testing State Behavior of Software 160
7.6 Graph Coverage for Use Cases 169
7.6.1 Use Case Scenarios 171
7.7 Bibliographic Notes 173
8 Logic Coverage 177
8.1 Semantic Logic Coverage Criteria (Active) 178
8.1.1 Simple Logic Expression Coverage Criteria 179
8.1.2 Active Clause Coverage 181
8.1.3 Inactive Clause Coverage 185
8.1.4 Infeasibility and Subsumption 186
8.1.5 Making a Clause Determine a Predicate 187
8.1.6 Finding Satisfying Values 192
8.2 Syntactic Logic Coverage Criteria (DNF) 197
8.2.1 Implicant Coverage 198
8.2.2 Minimal DNF 199
8.2.3 The MUMCUT Coverage Criterion 200
8.2.4 Karnaugh Maps 205
8.3 Structural Logic Coverage of Programs 208
8.3.1 Satisfying Predicate Coverage 212
8.3.2 Satisfying Clause Coverage 213
8.3.3 Satisfying Active Clause Coverage 215
8.3.4 Predicate Transformation Issues 217
8.3.5 Side Effects in Predicates 220
8.4 Specification-Based Logic Coverage 223
8.5 Logic Coverage of Finite State Machines 226
8.6 Bibliographic Notes 231
9 Syntax-Based Testing 234
9.1 Syntax-Based Coverage Criteria 234
9.1.1 Grammar-Based Coverage Criteria 234
9.1.2 Mutation Testing 237
9.2 Program-Based Grammars 241
9.2.1 BNF Grammars for Compilers 241
9.2.2 Program-Based Mutation 242
9.3 Integration and Object-Oriented Testing 259
9.3.1 BNF Integration Testing 259
9.3.2 Integration Mutation 259
9.4 Specification-Based Grammars 266
9.4.1 BNF Grammars 266
viii Contents
9.4.2 Specification-Based Mutation 267
9.5 Input Space Grammars 271
9.5.1 BNF Grammars 271
9.5.2 Mutating Input Grammars 273
9.6 Bibliographic Notes 281
Part 3 Testing in Practice 283
10 Managing the Test Process 285
10.1 Overview 285
10.2 Requirements Analysis and Specification 286
10.3 System and Software Design 287
10.4 Intermediate Design 288
10.5 Detailed Design 288
10.6 Implementation 289
10.7 Integration 289
10.8 System Deployment 290
10.9 Operation and Maintenance 290
10.10 Implementing the Test Process 291
10.11 Bibliographic Notes 291
11 Writing Test Plans 292
11.1 Level Test Plan Example Template 293
11.2 Bibliographic Notes 295
12 Test Implementation 296
12.1 Integration Order 297
12.2 Test Doubles 298
12.2.1 Stubs and Mocks: Variations of Test Doubles 299
12.2.2 Using Test Doubles to Replace Components 300
12.3 Bibliographic Notes 303
13 Regression Testing for Evolving Software 304
13.1 Bibliographic Notes 306
14 Writing Effective Test Oracles 308
14.1 What Should Be Checked? 308
14.2 Determining Correct Values 310
14.2.1 Specification-Based Direct Verification of Outputs 310
14.2.2 Redundant Computations 311
14.2.3 Consistency Checks 312
14.2.4 Metamorphic Testing 312
14.3 Bibliographic Notes 314
List of Criteria 316
Bibliography 318
Index 337 |
| any_adam_object | 1 |
| author | Ammann, Paul 1961- Offutt, Jeff 1961- |
| author_GND | (DE-588)1028627149 (DE-588)135551609 |
| author_facet | Ammann, Paul 1961- Offutt, Jeff 1961- |
| author_role | aut aut |
| author_sort | Ammann, Paul 1961- |
| author_variant | p a pa j o jo |
| building | Verbundindex |
| bvnumber | BV044010467 |
| 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 |
| ctrlnum | (OCoLC)976017344 (DE-599)BVBBV044010467 |
| dewey-full | 005.3028/7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.3028/7 |
| dewey-search | 005.3028/7 |
| dewey-sort | 15.3028 17 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV044010467</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171024</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170124s2017 xxka||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">016032808</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107172012</subfield><subfield code="c">hbk.</subfield><subfield code="9">978-1-107-17201-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)976017344</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044010467</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-898</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.3028/7</subfield><subfield code="2">23</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">Ammann, Paul</subfield><subfield code="d">1961-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1028627149</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to software testing</subfield><subfield code="c">Paul Ammann, George Mason University ; Jeff Offutt, George Mason University</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, United Kingdom</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xx, 345 pages</subfield><subfield code="b">Illustrationen, Diagramme</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</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">Offutt, Jeff</subfield><subfield code="d">1961-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135551609</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</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=029418185&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029418185</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV044010467 |
| illustrated | Illustrated |
| indexdate | 2024-10-11T06:00:17Z |
| institution | BVB |
| isbn | 9781107172012 |
| language | English |
| lccn | 016032808 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029418185 |
| oclc_num | 976017344 |
| open_access_boolean | |
| owner | DE-92 DE-473 DE-BY-UBG DE-739 DE-706 DE-898 DE-BY-UBR |
| owner_facet | DE-92 DE-473 DE-BY-UBG DE-739 DE-706 DE-898 DE-BY-UBR |
| physical | xx, 345 pages Illustrationen, Diagramme |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Ammann, Paul 1961- Verfasser (DE-588)1028627149 aut Introduction to software testing Paul Ammann, George Mason University ; Jeff Offutt, George Mason University second edition Cambridge, United Kingdom Cambridge University Press 2017 xx, 345 pages Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Computer software Testing Softwaretest (DE-588)4132652-0 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Softwaretest (DE-588)4132652-0 s DE-604 Offutt, Jeff 1961- Verfasser (DE-588)135551609 aut Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029418185&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ammann, Paul 1961- Offutt, Jeff 1961- Introduction to software testing Computer software Testing Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4132652-0 (DE-588)4151278-9 |
| title | Introduction to software testing |
| title_auth | Introduction to software testing |
| title_exact_search | Introduction to software testing |
| title_full | Introduction to software testing Paul Ammann, George Mason University ; Jeff Offutt, George Mason University |
| title_fullStr | Introduction to software testing Paul Ammann, George Mason University ; Jeff Offutt, George Mason University |
| title_full_unstemmed | Introduction to software testing Paul Ammann, George Mason University ; Jeff Offutt, George Mason University |
| title_short | Introduction to software testing |
| title_sort | introduction to software testing |
| topic | Computer software Testing Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Computer software Testing Softwaretest Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029418185&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ammannpaul introductiontosoftwaretesting AT offuttjeff introductiontosoftwaretesting |