Craft of Model-Based Testing

Regular price €62.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=Paul C. Jorgensen
Abstract Test Case
advanced model-based testing strategies
Author_Paul C. Jorgensen
automated test generation
Business Process
business process modeling notation
Case Tool
Category=UMZT
Concrete Test Cases
Context Sensitive Input Events
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Event Driven Petri Nets
Event Quiescence
Finite State Machines
Garage Door Controller
Input Events
Insurance Premium Problem
MBT
MBT Tool
model validation techniques
Model-based testing
object-oriented testing models
Ordinary Petri Nets
organizational test implementation
Petri Nets
Port Input Events
Port Output Events
software testing
software verification methods
State Machine Diagram
SUT
Swim Lane
systems testing
Test Case Generation
Test Selection Criteria
Transition S1
UML
UML Activity Diagram
Windshield Wiper Controller

Product details

  • ISBN 9781032339672
  • Weight: 625g
  • Dimensions: 156 x 234mm
  • Publication Date: 12 Jul 2022
  • Publisher: Taylor & Francis Ltd
  • Publication City/Country: GB
  • Product Form: Paperback
Secure checkout Fast Shipping Easy returns

In his latest work, author Paul C Jorgensen takes his well-honed craftsman’s approach to mastering model-based testing (MBT). To be expert at MBT, a software tester has to understand it as a craft rather than an art. This means a tester should have deep knowledge of the underlying subject and be well practiced in carrying out modeling and testing techniques. Judgment is needed, as well as an understanding of MBT the tools.

The first part of the book helps testers in developing that judgment. It starts with an overview of MBT and follows with an in-depth treatment of nine different testing models with a chapter dedicated to each model. These chapters are tied together by a pair of examples: a simple insurance premium calculation and an event-driven system that describes a garage door controller. The book shows how simpler models—flowcharts, decision tables, and UML Activity charts—express the important aspects of the insurance premium problem. It also shows how transition-based models—finite state machines, Petri nets, and statecharts—are necessary for the garage door controller but are overkill for the insurance premium problem. Each chapter describes the extent to which a model can support MBT.

The second part of the book gives testers a greater understanding of MBT tools. It examines six commercial MBT products, presents the salient features of each product, and demonstrates using the product on the insurance premium and the garage door controller problems. These chapters each conclude with advice on implementing MBT in an organization. The last chapter describes six Open Source tools to round out a tester’s knowledge of MBT. In addition, the book supports the International Software Testing Qualifications Board’s (ISTQB®) MBT syllabus for certification.

More from this author