Practical Model-Based Testing: A Tools Approach

3.8 avg rating
( 5 ratings by Goodreads )
 
9780123725011: Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing 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 demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems.

From this book you will learn:

  • The basic principles and terminology of model-based testing
  • How model-based testing differs from other testing processes
  • How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process
  • The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market
  • A step-by-step process for applying model-based testing
  • How to write good models for model-based testing
  • How to use a variety of test selection criteria to control the tests that are generated from your models
  • How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments
  • Presents the basic principles and terminology of model-based testing
  • Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
  • Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

"synopsis" may belong to another edition of this title.

Book Description:

The first developer guide to Model-Based Testing

About the Author:

Directeur technique de la societe Smartesting et professeur a l'universite de Franche-Comte

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Mark Utting, Bruno Legeard
Published by ELSEVIER SCIENCE TECHNOLOGY, United States (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 10
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2007. Hardback. Book Condition: New. Language: English . Brand New Book. Practical Model-Based Testing 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 demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: The basic principles and terminology of model-based testingHow model-based testing differs from other testing processesHow model-based testing fits into typical software lifecycles such as agile methods and the Unified ProcessThe benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-marketA step-by-step process for applying model-based testingHow to write good models for model-based testingHow to use a variety of test selection criteria to control the tests that are generated from your modelsHow model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments. Bookseller Inventory # AA59780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
41.48
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

2.

Mark Utting, Bruno Legeard
Published by Elsevier Science 2007-03-14, Amsterdam :|Oxford (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
Seller
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Elsevier Science 2007-03-14, Amsterdam :|Oxford, 2007. hardback. Book Condition: New. Bookseller Inventory # 9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
46.99
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

3.

Mark Utting, Bruno Legeard
Published by ELSEVIER SCIENCE TECHNOLOGY, United States (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 10
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2007. Hardback. Book Condition: New. Language: English . Brand New Book. Practical Model-Based Testing 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 demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: The basic principles and terminology of model-based testingHow model-based testing differs from other testing processesHow model-based testing fits into typical software lifecycles such as agile methods and the Unified ProcessThe benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-marketA step-by-step process for applying model-based testingHow to write good models for model-based testingHow to use a variety of test selection criteria to control the tests that are generated from your modelsHow model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments. Bookseller Inventory # AA59780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
48.33
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

4.

Mark Utting, Bruno Legeard
Published by Elsevier Science & Technology
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
Seller
THE SAINT BOOKSTORE
(Southport, United Kingdom)
Rating
[?]

Book Description Elsevier Science & Technology. Hardback. Book Condition: new. BRAND NEW, Practical Model-Based Testing: A Tools Approach, Mark Utting, Bruno Legeard, 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 demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book, you will learn: the basic principles and terminology of model-based testing; how model-based testing differs from other testing processes; how model-based testing fits into typical software lifecycles such as agile methods and the Unified Process; the benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market; a step-by-step process for applying model-based testing; how to write good models for model-based testing; how to use a variety of test selection criteria to control the tests that are generated from your models; and how model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments. This book shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market. It offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies. Bookseller Inventory # B9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
48.37
Convert Currency

Add to Basket

Shipping: 2.75
Within United Kingdom
Destination, Rates & Speeds

5.

UTTING, MARK; LEGEARD, BRUNO
Published by Morgan Kaufmann (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 10
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2007. Hardback. Book Condition: NEW. 9780123725011 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0891682

More Information About This Seller | Ask Bookseller a Question

Buy New
50
Convert Currency

Add to Basket

Shipping: 3.75
Within United Kingdom
Destination, Rates & Speeds

6.

UTTING, MARK; LEGEARD, BRUNO
Published by Morgan Kaufmann (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 10
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2007. Hardback. Book Condition: NEW. 9780123725011 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE01195958

More Information About This Seller | Ask Bookseller a Question

Buy New
50
Convert Currency

Add to Basket

Shipping: 3.75
Within United Kingdom
Destination, Rates & Speeds

7.

Mark Utting, Bruno Legeard
Published by Morgan Kaufmann (2006)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 2006. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX0123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
45.18
Convert Currency

Add to Basket

Shipping: 10.77
From U.S.A. to United Kingdom
Destination, Rates & Speeds

8.

Mark Utting; Bruno Legeard
Published by Morgan Kaufmann (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 2007. Book Condition: New. book. Bookseller Inventory # ria9780123725011_rkm

More Information About This Seller | Ask Bookseller a Question

Buy New
56.27
Convert Currency

Add to Basket

Shipping: FREE
Within United Kingdom
Destination, Rates & Speeds

9.

Mark Utting; Bruno Legeard
Published by Morgan Kaufmann (2006)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover First Edition Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann, 2006. Hardcover. Book Condition: New. book. Bookseller Inventory # 0123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
52.63
Convert Currency

Add to Basket

Shipping: 5.08
From U.S.A. to United Kingdom
Destination, Rates & Speeds

10.

Utting, Mark
Published by Elsevier Science and Technology (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Quantity Available: 1
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Elsevier Science and Technology, 2007. HRD. Book Condition: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Bookseller Inventory # GB-9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
57.37
Convert Currency

Add to Basket

Shipping: 2.80
Within United Kingdom
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book