|
Login to ask the library to add a book.
|
|
Active Filter Settings
No Active Filters
|
|
|
|
|
first record
| previous record
| next record
| last record
|
full | marc
|
Record 1 of 1
|
|
| |
Total Requests 0 Unsatisfied Requests 0
|
|
You searched IISERK - Author: Lehman, John W.
|
| Request |
|
|
Call Number
|
005.3028/7
|
|
Author
|
Utting, Mark.
|
|
Title
|
Practical model-based testing [electronic resource] : a tools approach / Mark Utting, Bruno Legeard.
|
|
Publication
|
Amsterdam ; Boston : Morgan Kaufmann Publishers, c2007.
|
|
Material Info.
|
xix, 433 p. : ill. ; 25 cm.
|
|
Summary Note
|
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 * 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.
|
|
Notes
|
Includes bibliographical references (p. 409-418) and index.
|
|
Notes
|
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.
|
|
Notes
|
Electronic reproduction. Amsterdam : Elsevier Science & Technology, 2007.
|
|
ISBN
|
9780123725011
|
|
ISBN
|
0123725011
|
|
Subject
|
Computer software Testing.
|
|
Subject
|
Computer software Testing Automation.
|
|
Subject
|
Electronic books.
|
|
Added Entry
|
Legeard, Bruno.
|
|
Added Entry
|
ScienceDirect (Online service)
|
|
Date
|
Year, Month, Day:01405141
|
|
Link
|
An electronic book accessible through the World Wide Web; click for information ScienceDirect
|
|
Link
|
Table of contents only
|
|
Link
|
Publisher description
|
|
|
|
|
