Practical model-based testing : a tools approach /

Mostrar otras versiones (2)

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Utting, Mark
Otros Autores: Legeard, Bruno
Formato: Electrónico eBook
Idioma:Inglés
Publicado: San Francisco, CA : Morgan Kaufmann Publishers, 2006.
Temas:
Computer software > Testing.
Computer software > Testing > Automation.
REFERENCE > General.
Computer software > Testing
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ma 4500
001 EBSCO_ocn437596778
003 OCoLC
005 20231017213018.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 
019 |a 647644445  |a 822336294  |a 961679197  |a 962623555  |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 
029 1 |a AU@  |b 000050347783 
029 1 |a AU@  |b 000053283209 
029 1 |a DEBBG  |b BV040903290 
029 1 |a DEBBG  |b BV043097715 
029 1 |a DEBSZ  |b 381393518 
029 1 |a DEBSZ  |b 422220019 
029 1 |a GBVCP  |b 570663997 
029 1 |a GBVCP  |b 803001630 
029 1 |a NZ1  |b 14532927 
035 |a (OCoLC)437596778  |z (OCoLC)647644445  |z (OCoLC)822336294  |z (OCoLC)961679197  |z (OCoLC)962623555  |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 0 4 |a 005.3028/7  |2 23 
049 |a UAMI 
100 1 |a Utting, Mark. 
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 
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. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
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 
700 1 |a Legeard, Bruno. 
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 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=187301  |z Texto completo 
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 IZTAP 

Ejemplares similares