Practical Model-Based Testing: A Tools Approach
Mark Utting, Bruno Legeard
- 出版商: Morgan Kaufmann
- 出版日期: 2006-11-27
- 售價: $3,050
- 貴賓價: 9.5 折 $2,898
- 語言: 英文
- 頁數: 456
- 裝訂: Hardcover
- ISBN: 0123725011
- ISBN-13: 9780123725011
海外代購書籍(需單獨結帳)
買這商品的人也買了...
-
$1,205TCP/IP Illustrated, Volume 1: The Protocols (Hardcover)
-
$990$782 -
$890$703 -
$880$695 -
$650$514 -
$690$538 -
$650$507 -
$550$468 -
$270$213 -
$690$587 -
$980$774 -
$650$507 -
$990UML 2 Certification Guide: Fundamental & Intermediate Exams (Paperback)
-
$490$417 -
$880$616 -
$750$593 -
$990$891 -
$580$452 -
$290$226 -
$750$593 -
$600$480 -
$299The Art of Agile Development (Paperback)
-
$1,488C++ GUI Programming with Qt 4, 2/e (Hardcover)
-
$780$616 -
$750$638
相關主題
商品描述
Description
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
Table of Contents
1 The Challenge; 2 The Pain and the Gain; 3 A Model of your System; 4 Selecting your Tests; 5 Testing from Finite State Machines; 6 Testing from Pre/Post Models; 7 Testing from UML Models; 8 Making Tests Executable; 9 The GSM 11.11 Case Study; 10 The ATM Case Study; 11 Putting it into Practice; Appendix; Index