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 Morgan Kaufmann (2006)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover 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
US$ 29.74
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

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
US$ 43.86
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Mark Utting, Bruno Legeard
Published by Morgan Kaufmann 2007-03-14 (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 5
Seller
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann 2007-03-14, 2007. Hardcover. Book Condition: New. Bookseller Inventory # NU-ELS-00002861

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 50.46
Convert Currency

Add to Basket

Shipping: US$ 3.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Mark Utting
Published by Morgan Kaufmann 2006-12-11 (2006)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
Seller
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Morgan Kaufmann 2006-12-11, 2006. Hardcover. Book Condition: New. 1. 0123725011. Bookseller Inventory # 682011

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 54.11
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Utting, Mark, Legeard, Bruno
Published by Morgan Kaufmann (2006)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 2
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

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

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 60.23
Convert Currency

Add to Basket

Shipping: US$ 2.99
Within U.S.A.
Destination, Rates & Speeds

6.

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

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2007. Hardback. Book Condition: New. 234 x 196 mm. Language: English . Brand New Book. 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 * How 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 # LIB9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 68.73
Convert Currency

Add to Basket

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

7.

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

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 2007. Hardback. Book Condition: New. 234 x 196 mm. Language: English . Brand New Book. 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 * How 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 # LIB9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 70.71
Convert Currency

Add to Basket

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

8.

Mark Utting
Published by Morgan Kaufmann 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 Morgan Kaufmann 2007-03-14, Amsterdam :|Oxford, 2007. hardback. Book Condition: New. Bookseller Inventory # 9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 67.54
Convert Currency

Add to Basket

Shipping: US$ 5.85
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

UTTING, MARK; LEGEARD, BRUNO
Published by Morgan Kaufmann (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
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
US$ 67.01
Convert Currency

Add to Basket

Shipping: US$ 10.41
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

UTTING, MARK; LEGEARD, BRUNO
Published by Morgan Kaufmann (2007)
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Hardcover Quantity Available: 1
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
US$ 67.01
Convert Currency

Add to Basket

Shipping: US$ 10.41
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book