Practical Model-Based Testing: A Tools Approach

3.8 avg rating
( 5 ratings by GoodReads )
 
9780123725011: 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 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.

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

Review:

"This topic is hot...and both authors are well known experts in the community of model-based testing." Wolfgang Grieskamp, Microsoft Research

"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
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
36.33
Convert Currency

Add to Basket

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

2.

MARK UTTING,BRUNO LEGEARD
ISBN 10: 0123725011 ISBN 13: 9780123725011
New Quantity Available: 1
Seller
Super textbook online
(Houston, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: New. US Edition Book In Mint condition. Shipping with Trackable Method. Bookseller Inventory # 0123725011-TOS

More Information About This Seller | Ask Bookseller a Question

Buy New
39.61
Convert Currency

Add to Basket

Shipping: FREE
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
37.49
Convert Currency

Add to Basket

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

4.

Utting, Mark; Legeard, Bruno
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
40.66
Convert Currency

Add to Basket

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

5.

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
45.66
Convert Currency

Add to Basket

Shipping: 3.20
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
(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
49.80
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 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
51.44
Convert Currency

Add to Basket

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

8.

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

Book Description Elsevier Science & Technology 2007-01-10, San Francisco, 2007. hardback. Book Condition: New. Bookseller Inventory # 9780123725011

More Information About This Seller | Ask Bookseller a Question

Buy New
49.99
Convert Currency

Add to Basket

Shipping: 4.50
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
50
Convert Currency

Add to Basket

Shipping: 8
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
50
Convert Currency

Add to Basket

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

There are more copies of this book

View all search results for this book