Practical model-based testing :: a tools approach /
This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or ac...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Francisco, CA :
Morgan Kaufmann Publishers,
2006.
|
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demons. |
| Beschreibung: | 1 online resource (1 online resource) |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 0080466486 9780080466484 1280728973 9781280728976 9786610728978 6610728976 |
Internformat
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn437596778 | ||
| 003 | OCoLC | ||
| 005 | 20240705115654.0 | ||
| 006 | m o d | ||
| 007 | cr zn||||||||| | ||
| 008 | 061017s2006 cau ob 001 0 eng d | ||
| 010 | |z 2006034511 | ||
| 040 | |a DKU |b eng |e pn |c DKU |d E7B |d OCLCQ |d IDEBK |d N$T |d OCLCQ |d UMI |d DEBSZ |d OCLCQ |d OCLCO |d COO |d OCLCQ |d AZK |d COCUF |d AGLDB |d STF |d MOR |d PIFAG |d OCLCQ |d JBG |d U3W |d OCLCF |d WRM |d OCLCQ |d VTS |d NRAMU |d INT |d OCLCQ |d TKN |d OCLCQ |d M8D |d HS0 |d OCLCO |d QGK |d OCLCQ |d OCLCO |d OCLCL |d EZC | ||
| 019 | |a 647644445 |a 822336294 |a 961679197 |a 962623555 |a 1034901141 |a 1259165309 | ||
| 020 | |a 0080466486 |q (electronic bk.) | ||
| 020 | |a 9780080466484 |q (electronic bk.) | ||
| 020 | |z 0123725011 |q (Cloth) | ||
| 020 | |z 9780123725011 |q (alk. paper) | ||
| 020 | |a 1280728973 | ||
| 020 | |a 9781280728976 | ||
| 020 | |a 9786610728978 | ||
| 020 | |a 6610728976 | ||
| 035 | |a (OCoLC)437596778 |z (OCoLC)647644445 |z (OCoLC)822336294 |z (OCoLC)961679197 |z (OCoLC)962623555 |z (OCoLC)1034901141 |z (OCoLC)1259165309 | ||
| 037 | |a CL0500000177 |b Safari Books Online | ||
| 050 | 4 | |a QA76.76.T48 |b U98 2006eb | |
| 072 | 7 | |a REF |x 000000 |2 bisacsh | |
| 082 | 7 | |a 005.3028/7 |2 23 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Utting, Mark. |0 http://id.loc.gov/authorities/names/n2006079650 | |
| 245 | 1 | 0 | |a Practical model-based testing : |b a tools approach / |c Mark Utting, Bruno Legeard. |
| 260 | |a San Francisco, CA : |b Morgan Kaufmann Publishers, |c 2006. | ||
| 300 | |a 1 online resource (1 online resource) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Cover -- Practical model-based testing -- Copyright page -- Contents -- Preface -- About the authors -- Chapter 1 The challenge -- 1.1 What Do We Mean by Testing? -- 1.2 What Is Model-Based Testing? -- 1.3 A Smart Card Example -- 1.4 Summary -- 1.5 Further Reading -- Chapter 2 The pain and the gain -- 2.1 Classic Testing Processes -- 2.2 The Model-Based Testing Process -- 2.3 Models: Build or Borrow? -- 2.4 Your Maturity Level -- 2.5 Hypothetical Case: Total Testing Hours -- 2.6 Model-Based Testing Experience Reports -- 2.7 Benefits of Model-Based Testing -- 2.8 Limitations of Model-Based Testing -- 2.9 Summary -- 2.10 Further Reading -- Chapter 3 A model of your system -- 3.1 How to Model Your System -- 3.2 A Case Study -- 3.3 Transition-Based Models -- 3.4 Pre/Post Models in B -- 3.5 Summary -- 3.6 Further Reading -- Chapter 4 Selecting your tests -- 4.1 Structural Model Coverage -- 4.2 Data Coverage Criteria -- 4.3 Fault-Based Criteria -- 4.4 Requirements-Based Criteria -- 4.5 Explicit Test Case Specifications -- 4.6 Statistical Test Generation Methods -- 4.7 Combining Test Selection Criteria -- 4.8 Summary -- 4.9 Further Reading -- Chapter 5 Testing from finite state machines -- 5.1 Testing Qui-Donc with a Simple FSM -- 5.2 EFSMs and the ModelJUnit Library -- 5.3 Unit Testing ZLive with EFSMs -- 5.4 Labeled Transition Systems Models -- 5.5 Summary -- 5.6 Further Reading -- Chapter 6 Testing from pre/post models -- 6.1 How to Write Pre/Post Models for Testing -- 6.2 The System Process Scheduler Example -- 6.3 The Triangle Example -- 6.4 Robustness Testing from a Pre/Post Model -- 6.5 Testing a Chat System with Spec Explorer -- 6.6 Summary -- 6.7 Further Reading -- Chapter 7 Testing from uml transition-based models -- 7.1 UML Modeling Notations -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a Protocol with Qtronic -- 7.4 Summary -- 7.5 Further Reading -- Chapter 8 Making tests executable -- 8.1 Principles of Test Adaptation -- 8.2 Example: The eTheater System -- 8.3 Summary -- 8.4 Further Reading -- Chapter 9 The gsm 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and Verification of the B Model -- 9.4 Generating Tests with LTG/B -- 9.5 Generating Executable Scripts -- 9.6 Test Execution -- 9.7 Summary -- 9.8 Further Reading -- Chapter 10 The atm case study -- 10.1 Overview of the ATM System -- 10.2 Modeling the ATM System in UML -- 10.3 Generating Test Cases -- 10.4 Generating Executable Test Scripts -- 10.5 Executing the Tests -- 10.6 Summary -- 10.7 Further Reading -- Chapter 11 Putting it into practice -- 11.1 Prerequisites for Model-Based Testing -- 11.2 Selecting a Model-Based Testing Approach -- 11.3 People, Roles, and Training -- 11.4 Model-Based Testing and Agile Methods -- 11.5 Model-Based Testing and the Unified Process -- 11.6 Epilogue -- Appendix A Summary of B abstract machine notation -- Ap. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demons. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Computer software |x Testing. | |
| 650 | 0 | |a Computer software |x Testing |x Automation. | |
| 650 | 7 | |a REFERENCE |x General. |2 bisacsh | |
| 650 | 7 | |a Computer software |x Testing |2 fast | |
| 655 | 7 | |a dissertations. |2 aat | |
| 655 | 7 | |a Academic theses |2 fast | |
| 655 | 7 | |a Academic theses. |2 lcgft |0 http://id.loc.gov/authorities/genreForms/gf2014026039 | |
| 655 | 7 | |a Thèses et écrits académiques. |2 rvmgf | |
| 700 | 1 | |a Legeard, Bruno. |0 http://id.loc.gov/authorities/names/n2006079651 | |
| 758 | |i has work: |a Practical model-based testing (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGtvb4CvwRjxC4GQhHrF83 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Utting, Mark. |t Practical model-based testing. |d San Francisco, CA : Morgan Kaufmann Publishers, 2006 |w (DLC) 2006034511 |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=187301 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=187301 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10155918 | ||
| 938 | |a EBSCOhost |b EBSC |n 187301 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 72897 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn437596778 |
|---|---|
| _version_ | 1826941609559719936 |
| adam_text | |
| any_adam_object | |
| author | Utting, Mark |
| author2 | Legeard, Bruno |
| author2_role | |
| author2_variant | b l bl |
| author_GND | http://id.loc.gov/authorities/names/n2006079650 http://id.loc.gov/authorities/names/n2006079651 |
| author_facet | Utting, Mark Legeard, Bruno |
| author_role | |
| author_sort | Utting, Mark |
| author_variant | m u mu |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.T48 U98 2006eb |
| callnumber-search | QA76.76.T48 U98 2006eb |
| callnumber-sort | QA 276.76 T48 U98 42006EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Cover -- Practical model-based testing -- Copyright page -- Contents -- Preface -- About the authors -- Chapter 1 The challenge -- 1.1 What Do We Mean by Testing? -- 1.2 What Is Model-Based Testing? -- 1.3 A Smart Card Example -- 1.4 Summary -- 1.5 Further Reading -- Chapter 2 The pain and the gain -- 2.1 Classic Testing Processes -- 2.2 The Model-Based Testing Process -- 2.3 Models: Build or Borrow? -- 2.4 Your Maturity Level -- 2.5 Hypothetical Case: Total Testing Hours -- 2.6 Model-Based Testing Experience Reports -- 2.7 Benefits of Model-Based Testing -- 2.8 Limitations of Model-Based Testing -- 2.9 Summary -- 2.10 Further Reading -- Chapter 3 A model of your system -- 3.1 How to Model Your System -- 3.2 A Case Study -- 3.3 Transition-Based Models -- 3.4 Pre/Post Models in B -- 3.5 Summary -- 3.6 Further Reading -- Chapter 4 Selecting your tests -- 4.1 Structural Model Coverage -- 4.2 Data Coverage Criteria -- 4.3 Fault-Based Criteria -- 4.4 Requirements-Based Criteria -- 4.5 Explicit Test Case Specifications -- 4.6 Statistical Test Generation Methods -- 4.7 Combining Test Selection Criteria -- 4.8 Summary -- 4.9 Further Reading -- Chapter 5 Testing from finite state machines -- 5.1 Testing Qui-Donc with a Simple FSM -- 5.2 EFSMs and the ModelJUnit Library -- 5.3 Unit Testing ZLive with EFSMs -- 5.4 Labeled Transition Systems Models -- 5.5 Summary -- 5.6 Further Reading -- Chapter 6 Testing from pre/post models -- 6.1 How to Write Pre/Post Models for Testing -- 6.2 The System Process Scheduler Example -- 6.3 The Triangle Example -- 6.4 Robustness Testing from a Pre/Post Model -- 6.5 Testing a Chat System with Spec Explorer -- 6.6 Summary -- 6.7 Further Reading -- Chapter 7 Testing from uml transition-based models -- 7.1 UML Modeling Notations -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a Protocol with Qtronic -- 7.4 Summary -- 7.5 Further Reading -- Chapter 8 Making tests executable -- 8.1 Principles of Test Adaptation -- 8.2 Example: The eTheater System -- 8.3 Summary -- 8.4 Further Reading -- Chapter 9 The gsm 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and Verification of the B Model -- 9.4 Generating Tests with LTG/B -- 9.5 Generating Executable Scripts -- 9.6 Test Execution -- 9.7 Summary -- 9.8 Further Reading -- Chapter 10 The atm case study -- 10.1 Overview of the ATM System -- 10.2 Modeling the ATM System in UML -- 10.3 Generating Test Cases -- 10.4 Generating Executable Test Scripts -- 10.5 Executing the Tests -- 10.6 Summary -- 10.7 Further Reading -- Chapter 11 Putting it into practice -- 11.1 Prerequisites for Model-Based Testing -- 11.2 Selecting a Model-Based Testing Approach -- 11.3 People, Roles, and Training -- 11.4 Model-Based Testing and Agile Methods -- 11.5 Model-Based Testing and the Unified Process -- 11.6 Epilogue -- Appendix A Summary of B abstract machine notation -- Ap. |
| ctrlnum | (OCoLC)437596778 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06404cam a2200637Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn437596778</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr zn|||||||||</controlfield><controlfield tag="008">061017s2006 cau ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2006034511</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DKU</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">DKU</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UMI</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">STF</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">EZC</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">647644445</subfield><subfield code="a">822336294</subfield><subfield code="a">961679197</subfield><subfield code="a">962623555</subfield><subfield code="a">1034901141</subfield><subfield code="a">1259165309</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080466486</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080466484</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0123725011</subfield><subfield code="q">(Cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780123725011</subfield><subfield code="q">(alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280728973</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280728976</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610728978</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610728976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)437596778</subfield><subfield code="z">(OCoLC)647644445</subfield><subfield code="z">(OCoLC)822336294</subfield><subfield code="z">(OCoLC)961679197</subfield><subfield code="z">(OCoLC)962623555</subfield><subfield code="z">(OCoLC)1034901141</subfield><subfield code="z">(OCoLC)1259165309</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">CL0500000177</subfield><subfield code="b">Safari Books Online</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.T48</subfield><subfield code="b">U98 2006eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">REF</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.3028/7</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Utting, Mark.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2006079650</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical model-based testing :</subfield><subfield code="b">a tools approach /</subfield><subfield code="c">Mark Utting, Bruno Legeard.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">San Francisco, CA :</subfield><subfield code="b">Morgan Kaufmann Publishers,</subfield><subfield code="c">2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (1 online resource)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover -- Practical model-based testing -- Copyright page -- Contents -- Preface -- About the authors -- Chapter 1 The challenge -- 1.1 What Do We Mean by Testing? -- 1.2 What Is Model-Based Testing? -- 1.3 A Smart Card Example -- 1.4 Summary -- 1.5 Further Reading -- Chapter 2 The pain and the gain -- 2.1 Classic Testing Processes -- 2.2 The Model-Based Testing Process -- 2.3 Models: Build or Borrow? -- 2.4 Your Maturity Level -- 2.5 Hypothetical Case: Total Testing Hours -- 2.6 Model-Based Testing Experience Reports -- 2.7 Benefits of Model-Based Testing -- 2.8 Limitations of Model-Based Testing -- 2.9 Summary -- 2.10 Further Reading -- Chapter 3 A model of your system -- 3.1 How to Model Your System -- 3.2 A Case Study -- 3.3 Transition-Based Models -- 3.4 Pre/Post Models in B -- 3.5 Summary -- 3.6 Further Reading -- Chapter 4 Selecting your tests -- 4.1 Structural Model Coverage -- 4.2 Data Coverage Criteria -- 4.3 Fault-Based Criteria -- 4.4 Requirements-Based Criteria -- 4.5 Explicit Test Case Specifications -- 4.6 Statistical Test Generation Methods -- 4.7 Combining Test Selection Criteria -- 4.8 Summary -- 4.9 Further Reading -- Chapter 5 Testing from finite state machines -- 5.1 Testing Qui-Donc with a Simple FSM -- 5.2 EFSMs and the ModelJUnit Library -- 5.3 Unit Testing ZLive with EFSMs -- 5.4 Labeled Transition Systems Models -- 5.5 Summary -- 5.6 Further Reading -- Chapter 6 Testing from pre/post models -- 6.1 How to Write Pre/Post Models for Testing -- 6.2 The System Process Scheduler Example -- 6.3 The Triangle Example -- 6.4 Robustness Testing from a Pre/Post Model -- 6.5 Testing a Chat System with Spec Explorer -- 6.6 Summary -- 6.7 Further Reading -- Chapter 7 Testing from uml transition-based models -- 7.1 UML Modeling Notations -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a Protocol with Qtronic -- 7.4 Summary -- 7.5 Further Reading -- Chapter 8 Making tests executable -- 8.1 Principles of Test Adaptation -- 8.2 Example: The eTheater System -- 8.3 Summary -- 8.4 Further Reading -- Chapter 9 The gsm 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and Verification of the B Model -- 9.4 Generating Tests with LTG/B -- 9.5 Generating Executable Scripts -- 9.6 Test Execution -- 9.7 Summary -- 9.8 Further Reading -- Chapter 10 The atm case study -- 10.1 Overview of the ATM System -- 10.2 Modeling the ATM System in UML -- 10.3 Generating Test Cases -- 10.4 Generating Executable Test Scripts -- 10.5 Executing the Tests -- 10.6 Summary -- 10.7 Further Reading -- Chapter 11 Putting it into practice -- 11.1 Prerequisites for Model-Based Testing -- 11.2 Selecting a Model-Based Testing Approach -- 11.3 People, Roles, and Training -- 11.4 Model-Based Testing and Agile Methods -- 11.5 Model-Based Testing and the Unified Process -- 11.6 Epilogue -- Appendix A Summary of B abstract machine notation -- Ap.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demons.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield><subfield code="x">Automation.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">REFERENCE</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="x">Testing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">dissertations.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Academic theses.</subfield><subfield code="2">lcgft</subfield><subfield code="0">http://id.loc.gov/authorities/genreForms/gf2014026039</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Thèses et écrits académiques.</subfield><subfield code="2">rvmgf</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Legeard, Bruno.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2006079651</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Practical model-based testing (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGtvb4CvwRjxC4GQhHrF83</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Utting, Mark.</subfield><subfield code="t">Practical model-based testing.</subfield><subfield code="d">San Francisco, CA : Morgan Kaufmann Publishers, 2006</subfield><subfield code="w">(DLC) 2006034511</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=187301</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=187301</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10155918</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">187301</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">72897</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf |
| genre_facet | dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| id | ZDB-4-EBA-ocn437596778 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-18T14:14:50Z |
| institution | BVB |
| isbn | 0080466486 9780080466484 1280728973 9781280728976 9786610728978 6610728976 |
| language | English |
| oclc_num | 437596778 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (1 online resource) |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Morgan Kaufmann Publishers, |
| record_format | marc |
| spelling | Utting, Mark. http://id.loc.gov/authorities/names/n2006079650 Practical model-based testing : a tools approach / Mark Utting, Bruno Legeard. San Francisco, CA : Morgan Kaufmann Publishers, 2006. 1 online resource (1 online resource) text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references and index. Cover -- Practical model-based testing -- Copyright page -- Contents -- Preface -- About the authors -- Chapter 1 The challenge -- 1.1 What Do We Mean by Testing? -- 1.2 What Is Model-Based Testing? -- 1.3 A Smart Card Example -- 1.4 Summary -- 1.5 Further Reading -- Chapter 2 The pain and the gain -- 2.1 Classic Testing Processes -- 2.2 The Model-Based Testing Process -- 2.3 Models: Build or Borrow? -- 2.4 Your Maturity Level -- 2.5 Hypothetical Case: Total Testing Hours -- 2.6 Model-Based Testing Experience Reports -- 2.7 Benefits of Model-Based Testing -- 2.8 Limitations of Model-Based Testing -- 2.9 Summary -- 2.10 Further Reading -- Chapter 3 A model of your system -- 3.1 How to Model Your System -- 3.2 A Case Study -- 3.3 Transition-Based Models -- 3.4 Pre/Post Models in B -- 3.5 Summary -- 3.6 Further Reading -- Chapter 4 Selecting your tests -- 4.1 Structural Model Coverage -- 4.2 Data Coverage Criteria -- 4.3 Fault-Based Criteria -- 4.4 Requirements-Based Criteria -- 4.5 Explicit Test Case Specifications -- 4.6 Statistical Test Generation Methods -- 4.7 Combining Test Selection Criteria -- 4.8 Summary -- 4.9 Further Reading -- Chapter 5 Testing from finite state machines -- 5.1 Testing Qui-Donc with a Simple FSM -- 5.2 EFSMs and the ModelJUnit Library -- 5.3 Unit Testing ZLive with EFSMs -- 5.4 Labeled Transition Systems Models -- 5.5 Summary -- 5.6 Further Reading -- Chapter 6 Testing from pre/post models -- 6.1 How to Write Pre/Post Models for Testing -- 6.2 The System Process Scheduler Example -- 6.3 The Triangle Example -- 6.4 Robustness Testing from a Pre/Post Model -- 6.5 Testing a Chat System with Spec Explorer -- 6.6 Summary -- 6.7 Further Reading -- Chapter 7 Testing from uml transition-based models -- 7.1 UML Modeling Notations -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a Protocol with Qtronic -- 7.4 Summary -- 7.5 Further Reading -- Chapter 8 Making tests executable -- 8.1 Principles of Test Adaptation -- 8.2 Example: The eTheater System -- 8.3 Summary -- 8.4 Further Reading -- Chapter 9 The gsm 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and Verification of the B Model -- 9.4 Generating Tests with LTG/B -- 9.5 Generating Executable Scripts -- 9.6 Test Execution -- 9.7 Summary -- 9.8 Further Reading -- Chapter 10 The atm case study -- 10.1 Overview of the ATM System -- 10.2 Modeling the ATM System in UML -- 10.3 Generating Test Cases -- 10.4 Generating Executable Test Scripts -- 10.5 Executing the Tests -- 10.6 Summary -- 10.7 Further Reading -- Chapter 11 Putting it into practice -- 11.1 Prerequisites for Model-Based Testing -- 11.2 Selecting a Model-Based Testing Approach -- 11.3 People, Roles, and Training -- 11.4 Model-Based Testing and Agile Methods -- 11.5 Model-Based Testing and the Unified Process -- 11.6 Epilogue -- Appendix A Summary of B abstract machine notation -- Ap. Print version record. This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demons. English. Computer software Testing. Computer software Testing Automation. REFERENCE General. bisacsh Computer software Testing fast dissertations. aat Academic theses fast Academic theses. lcgft http://id.loc.gov/authorities/genreForms/gf2014026039 Thèses et écrits académiques. rvmgf Legeard, Bruno. http://id.loc.gov/authorities/names/n2006079651 has work: Practical model-based testing (Text) https://id.oclc.org/worldcat/entity/E39PCGtvb4CvwRjxC4GQhHrF83 https://id.oclc.org/worldcat/ontology/hasWork Print version: Utting, Mark. Practical model-based testing. San Francisco, CA : Morgan Kaufmann Publishers, 2006 (DLC) 2006034511 |
| spellingShingle | Utting, Mark Practical model-based testing : a tools approach / Cover -- Practical model-based testing -- Copyright page -- Contents -- Preface -- About the authors -- Chapter 1 The challenge -- 1.1 What Do We Mean by Testing? -- 1.2 What Is Model-Based Testing? -- 1.3 A Smart Card Example -- 1.4 Summary -- 1.5 Further Reading -- Chapter 2 The pain and the gain -- 2.1 Classic Testing Processes -- 2.2 The Model-Based Testing Process -- 2.3 Models: Build or Borrow? -- 2.4 Your Maturity Level -- 2.5 Hypothetical Case: Total Testing Hours -- 2.6 Model-Based Testing Experience Reports -- 2.7 Benefits of Model-Based Testing -- 2.8 Limitations of Model-Based Testing -- 2.9 Summary -- 2.10 Further Reading -- Chapter 3 A model of your system -- 3.1 How to Model Your System -- 3.2 A Case Study -- 3.3 Transition-Based Models -- 3.4 Pre/Post Models in B -- 3.5 Summary -- 3.6 Further Reading -- Chapter 4 Selecting your tests -- 4.1 Structural Model Coverage -- 4.2 Data Coverage Criteria -- 4.3 Fault-Based Criteria -- 4.4 Requirements-Based Criteria -- 4.5 Explicit Test Case Specifications -- 4.6 Statistical Test Generation Methods -- 4.7 Combining Test Selection Criteria -- 4.8 Summary -- 4.9 Further Reading -- Chapter 5 Testing from finite state machines -- 5.1 Testing Qui-Donc with a Simple FSM -- 5.2 EFSMs and the ModelJUnit Library -- 5.3 Unit Testing ZLive with EFSMs -- 5.4 Labeled Transition Systems Models -- 5.5 Summary -- 5.6 Further Reading -- Chapter 6 Testing from pre/post models -- 6.1 How to Write Pre/Post Models for Testing -- 6.2 The System Process Scheduler Example -- 6.3 The Triangle Example -- 6.4 Robustness Testing from a Pre/Post Model -- 6.5 Testing a Chat System with Spec Explorer -- 6.6 Summary -- 6.7 Further Reading -- Chapter 7 Testing from uml transition-based models -- 7.1 UML Modeling Notations -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a Protocol with Qtronic -- 7.4 Summary -- 7.5 Further Reading -- Chapter 8 Making tests executable -- 8.1 Principles of Test Adaptation -- 8.2 Example: The eTheater System -- 8.3 Summary -- 8.4 Further Reading -- Chapter 9 The gsm 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and Verification of the B Model -- 9.4 Generating Tests with LTG/B -- 9.5 Generating Executable Scripts -- 9.6 Test Execution -- 9.7 Summary -- 9.8 Further Reading -- Chapter 10 The atm case study -- 10.1 Overview of the ATM System -- 10.2 Modeling the ATM System in UML -- 10.3 Generating Test Cases -- 10.4 Generating Executable Test Scripts -- 10.5 Executing the Tests -- 10.6 Summary -- 10.7 Further Reading -- Chapter 11 Putting it into practice -- 11.1 Prerequisites for Model-Based Testing -- 11.2 Selecting a Model-Based Testing Approach -- 11.3 People, Roles, and Training -- 11.4 Model-Based Testing and Agile Methods -- 11.5 Model-Based Testing and the Unified Process -- 11.6 Epilogue -- Appendix A Summary of B abstract machine notation -- Ap. Computer software Testing. Computer software Testing Automation. REFERENCE General. bisacsh Computer software Testing fast |
| subject_GND | http://id.loc.gov/authorities/genreForms/gf2014026039 |
| title | Practical model-based testing : a tools approach / |
| title_auth | Practical model-based testing : a tools approach / |
| title_exact_search | Practical model-based testing : a tools approach / |
| title_full | Practical model-based testing : a tools approach / Mark Utting, Bruno Legeard. |
| title_fullStr | Practical model-based testing : a tools approach / Mark Utting, Bruno Legeard. |
| title_full_unstemmed | Practical model-based testing : a tools approach / Mark Utting, Bruno Legeard. |
| title_short | Practical model-based testing : |
| title_sort | practical model based testing a tools approach |
| title_sub | a tools approach / |
| topic | Computer software Testing. Computer software Testing Automation. REFERENCE General. bisacsh Computer software Testing fast |
| topic_facet | Computer software Testing. Computer software Testing Automation. REFERENCE General. Computer software Testing dissertations. Academic theses Academic theses. Thèses et écrits académiques. |
| work_keys_str_mv | AT uttingmark practicalmodelbasedtestingatoolsapproach AT legeardbruno practicalmodelbasedtestingatoolsapproach |