Search
 
loader loading subjects...
cover
Model-Based Testing
Mark Timmer, Ed Brinksma, Mariëlle Stoelinga
1 - 32
10.3233/978-1-60750-711-6-1
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 30: Software and Systems Safety
Abstract

This paper provides a comprehensive introduction to a framework for formal testing using labelled transition systems, based on an extension and reformulation of the ioco theory introduced by Tretmans. We introduce the underlying models needed to specify the requirements, and formalise the notion of test cases. We discuss conformance, and in particular the conformance relation ioco. For this relation we prove several interesting properties, and we provide algorithms to derive test cases (either in batches, or on the fly).

$35.00 / €27.50 / £22.00
Add PDF to cart