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 ac...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Amsterdam ; Boston :
Morgan Kaufmann Publishers,
[2007]
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Table of contents only Publisher description |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000Ia 4500 | ||
| 001 | in00002425250 | ||
| 006 | m d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2007 ne a sb 001 0 eng d | ||
| 005 | 20260609193409.6 | ||
| 020 | |a 9780123725011 | ||
| 020 | |a 0123725011 | ||
| 035 | |a (OCoLC)162573913 | ||
| 037 | |a 133292:133416 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 040 | |a OPELS |c OPELS |d UtOrBLW | ||
| 049 | |a TEFA | ||
| 050 | 1 | 4 | |a QA76.76.T48 |b U98 2007eb |
| 082 | 0 | 4 | |a 005.3028/7 |2 22 |
| 100 | 1 | |a Utting, Mark. | |
| 245 | 1 | 0 | |a Practical model-based testing : |b a tools approach / |c Mark Utting, Bruno Legeard. |
| 264 | 1 | |a Amsterdam ; |a Boston : |b Morgan Kaufmann Publishers, |c [2007] | |
| 264 | 4 | |c ©2007 | |
| 300 | |a xix, 433 pages : |b illustrations ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 533 | |a Electronic reproduction. |b Amsterdam : |c Elsevier Science & Technology, |d 2007. |n Mode of access: World Wide Web. |n System requirements: Web browser. |n Title from title screen (viewed on Aug. 2, 2007). |n Access may be restricted to users at subscribing institutions. | ||
| 520 | |a 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. | ||
| 505 | 0 | |a 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. | |
| 504 | |a Includes bibliographical references (pages 409-418) and index. | ||
| 500 | |a Electronic resource. | ||
| 650 | 0 | |a Computer software |x Testing. | |
| 650 | 0 | |a Computer software |x Testing |x Automation. | |
| 655 | 7 | |a Electronic books. |2 local | |
| 700 | 1 | |a Legeard, Bruno. | |
| 730 | 0 | |a Referex. | |
| 776 | 1 | |c Original |z 9780123725011 |z 0123725011 |w (DLC) 2006034511 |w (OCoLC)73993672 | |
| 710 | 2 | |a ScienceDirect (Online service) | |
| 856 | 4 | 0 | |u http://proxy.library.tamu.edu/login?url=https://www.sciencedirect.com/science/book/9780123725011 |z Connect to the full text of this electronic book |t 0 |
| 856 | 4 | 2 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/ecip073/2006034511.html |t 0 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0702/2006034511-d.html |t 0 |
| 994 | |a C0 |b TEF | ||
| 999 | |a MARS | ||
| 999 | f | f | |s 9c04938e-d3c0-38a9-aa4d-0e64268ea25c |i 404cae40-0ee4-398b-b4a9-c70642aba4d2 |t 0 |
| 952 | f | f | |a Texas A&M University |b College Station |c Electronic Resources |s www_evans |d Available Online |t 0 |e QA76.76.T48 U98 2007eb |h Library of Congress classification |
| 998 | f | f | |a QA76.76.T48 U98 2007eb |t 0 |l Available Online |