Software error detection through testing and analysis:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hoboken, N.J.
John Wiley & Sons
©2009
|
| Schlagworte: | |
| Online-Zugang: | FRO01 UBG01 Volltext |
| Beschreibung: | Includes bibliographical references (pages 237-251) and index An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels |
| Beschreibung: | 1 Online-Ressource (x, 259 pages) |
| ISBN: | 9780470464076 0470464070 9780470464052 0470464054 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043390201 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160222s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 9780470464076 |9 978-0-470-46407-6 | ||
| 020 | |a 0470464070 |9 0-470-46407-0 | ||
| 020 | |a 9780470464052 |c electronic bk. |9 978-0-470-46405-2 | ||
| 020 | |a 0470464054 |c electronic bk. |9 0-470-46405-4 | ||
| 024 | 7 | |a 10.1002/9780470464076 |2 doi | |
| 035 | |a (ZDB-35-WIC)ocn441886970 | ||
| 035 | |a (OCoLC)838246489 | ||
| 035 | |a (DE-599)BVBBV043390201 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-861 | ||
| 082 | 0 | |a 005.1/4 |2 22 | |
| 082 | 0 | |a 004 |2 22 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Huang, J. C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Software error detection through testing and analysis |c J.C. Huang |
| 264 | 1 | |a Hoboken, N.J. |b John Wiley & Sons |c ©2009 | |
| 300 | |a 1 Online-Ressource (x, 259 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 237-251) and index | ||
| 500 | |a An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels | ||
| 650 | 4 | |a Computer software | |
| 650 | 7 | |a COMPUTERS / Software Development & Engineering / Quality Assurance & Testing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Reference |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Literacy |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Information Technology |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Data Processing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Science |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a Computer software / Reliability |2 fast | |
| 650 | 7 | |a Computer software / Testing |2 fast | |
| 650 | 7 | |a Debugging in computer science |2 fast | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer software / Testing | |
| 650 | 4 | |a Computer software / Reliability | |
| 650 | 4 | |a Debugging in computer science | |
| 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 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-470-40444-7 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-470-40444-2 |
| 856 | 4 | 0 | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-35-WIC | ||
| 940 | 1 | |q UBG_PDA_WIC | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028808785 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076 |l FRO01 |p ZDB-35-WIC |q FRO_PDA_WIC |x Verlag |3 Volltext | |
| 966 | e | |u https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076 |l UBG01 |p ZDB-35-WIC |q UBG_PDA_WIC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175964143353856 |
|---|---|
| any_adam_object | |
| author | Huang, J. C. |
| author_facet | Huang, J. C. |
| author_role | aut |
| author_sort | Huang, J. C. |
| author_variant | j c h jc jch |
| building | Verbundindex |
| bvnumber | BV043390201 |
| classification_rvk | ST 233 |
| collection | ZDB-35-WIC |
| ctrlnum | (ZDB-35-WIC)ocn441886970 (OCoLC)838246489 (DE-599)BVBBV043390201 |
| dewey-full | 005.1/4 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.1/4 004 |
| dewey-search | 005.1/4 004 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04346nmm a2200697zc 4500</leader><controlfield tag="001">BV043390201</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160222s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470464076</subfield><subfield code="9">978-0-470-46407-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470464070</subfield><subfield code="9">0-470-46407-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780470464052</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-470-46405-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0470464054</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-470-46405-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1002/9780470464076</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-35-WIC)ocn441886970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)838246489</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043390201</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-861</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</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">Huang, J. C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software error detection through testing and analysis</subfield><subfield code="c">J.C. Huang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, N.J.</subfield><subfield code="b">John Wiley & Sons</subfield><subfield code="c">©2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 259 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 237-251) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Software Development & Engineering / Quality Assurance & Testing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Machine Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Literacy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Technology</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Data Processing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Reliability</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software / Testing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Debugging in computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software / Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Debugging in computer science</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-470-40444-7</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-470-40444-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-35-WIC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBG_PDA_WIC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028808785</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">FRO_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-35-WIC</subfield><subfield code="q">UBG_PDA_WIC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043390201 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:24:39Z |
| institution | BVB |
| isbn | 9780470464076 0470464070 9780470464052 0470464054 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028808785 |
| oclc_num | 441886970 838246489 |
| open_access_boolean | |
| owner | DE-861 |
| owner_facet | DE-861 |
| physical | 1 Online-Ressource (x, 259 pages) |
| psigel | ZDB-35-WIC UBG_PDA_WIC ZDB-35-WIC FRO_PDA_WIC ZDB-35-WIC UBG_PDA_WIC |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | John Wiley & Sons |
| record_format | marc |
| spelling | Huang, J. C. Verfasser aut Software error detection through testing and analysis J.C. Huang Hoboken, N.J. John Wiley & Sons ©2009 1 Online-Ressource (x, 259 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 237-251) and index An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels Computer software COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer software / Reliability fast Computer software / Testing fast Debugging in computer science fast Informatik Computer software / Testing Computer software / Reliability Debugging in computer science Softwaretest (DE-588)4132652-0 gnd rswk-swf Softwaretest (DE-588)4132652-0 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, Hardcover 978-0-470-40444-7 Erscheint auch als Druck-Ausgabe, Hardcover 0-470-40444-2 https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Huang, J. C. Software error detection through testing and analysis Computer software COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer software / Reliability fast Computer software / Testing fast Debugging in computer science fast Informatik Computer software / Testing Computer software / Reliability Debugging in computer science Softwaretest (DE-588)4132652-0 gnd |
| subject_GND | (DE-588)4132652-0 |
| title | Software error detection through testing and analysis |
| title_auth | Software error detection through testing and analysis |
| title_exact_search | Software error detection through testing and analysis |
| title_full | Software error detection through testing and analysis J.C. Huang |
| title_fullStr | Software error detection through testing and analysis J.C. Huang |
| title_full_unstemmed | Software error detection through testing and analysis J.C. Huang |
| title_short | Software error detection through testing and analysis |
| title_sort | software error detection through testing and analysis |
| topic | Computer software COMPUTERS / Software Development & Engineering / Quality Assurance & Testing bisacsh COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer software / Reliability fast Computer software / Testing fast Debugging in computer science fast Informatik Computer software / Testing Computer software / Reliability Debugging in computer science Softwaretest (DE-588)4132652-0 gnd |
| topic_facet | Computer software COMPUTERS / Software Development & Engineering / Quality Assurance & Testing COMPUTERS / Reference COMPUTERS / Machine Theory COMPUTERS / Computer Literacy COMPUTERS / Information Technology COMPUTERS / Data Processing COMPUTERS / Computer Science COMPUTERS / Hardware / General Computer software / Reliability Computer software / Testing Debugging in computer science Informatik Softwaretest |
| url | https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076 |
| work_keys_str_mv | AT huangjc softwareerrordetectionthroughtestingandanalysis |