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).
Original languageUndefined
Title of host publicationSoftware and Systems Safety: Specification and Verification
EditorsM. Broy, C. Leuxner, C.A.R. Hoare
Place of PublicationAmsterdam
PublisherIOS Press
Pages1-32
Number of pages32
ISBN (Print)978-1-60750-710-9
DOIs
StatePublished - Apr 2011

Publication series

NameNATO Science for Peace and Security Series D: Information and Communication Security
PublisherIOS Press
Number30
Volume30
ISSN (Print)1874-6268

Fingerprint

Labeled transition system
Reformulation
Batch
Testing
Requirements
Model

Keywords

  • METIS-277433
  • IR-73603
  • EWI-18580
  • Model-Based Testing
  • ioco theory
  • Formal Methods

Cite this

Timmer, M., Brinksma, H., & Stoelinga, M. I. A. (2011). Model-Based Testing. In M. Broy, C. Leuxner, & C. A. R. Hoare (Eds.), Software and Systems Safety: Specification and Verification (pp. 1-32). (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 30, No. 30). Amsterdam: IOS Press. DOI: 10.3233/978-1-60750-711-6-1

Timmer, Mark; Brinksma, Hendrik; Stoelinga, Mariëlle Ida Antoinette / Model-Based Testing.

Software and Systems Safety: Specification and Verification. ed. / M. Broy; C. Leuxner; C.A.R. Hoare. Amsterdam : IOS Press, 2011. p. 1-32 (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 30, No. 30).

Research output: ScientificChapter

@inbook{dfe8d98bf6e64b5eb0f7deb43afc8851,
title = "Model-Based Testing",
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).",
keywords = "METIS-277433, IR-73603, EWI-18580, Model-Based Testing, ioco theory, Formal Methods",
author = "Mark Timmer and Hendrik Brinksma and Stoelinga, {Mariëlle Ida Antoinette}",
note = "10.3233/978-1-60750-711-6-1",
year = "2011",
month = "4",
doi = "10.3233/978-1-60750-711-6-1",
isbn = "978-1-60750-710-9",
series = "NATO Science for Peace and Security Series D: Information and Communication Security",
publisher = "IOS Press",
number = "30",
pages = "1--32",
editor = "M. Broy and C. Leuxner and C.A.R. Hoare",
booktitle = "Software and Systems Safety: Specification and Verification",

}

Timmer, M, Brinksma, H & Stoelinga, MIA 2011, Model-Based Testing. in M Broy, C Leuxner & CAR Hoare (eds), Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security, no. 30, vol. 30, IOS Press, Amsterdam, pp. 1-32. DOI: 10.3233/978-1-60750-711-6-1

Model-Based Testing. / Timmer, Mark; Brinksma, Hendrik; Stoelinga, Mariëlle Ida Antoinette.

Software and Systems Safety: Specification and Verification. ed. / M. Broy; C. Leuxner; C.A.R. Hoare. Amsterdam : IOS Press, 2011. p. 1-32 (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 30, No. 30).

Research output: ScientificChapter

TY - CHAP

T1 - Model-Based Testing

AU - Timmer,Mark

AU - Brinksma,Hendrik

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - 10.3233/978-1-60750-711-6-1

PY - 2011/4

Y1 - 2011/4

N2 - 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).

AB - 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).

KW - METIS-277433

KW - IR-73603

KW - EWI-18580

KW - Model-Based Testing

KW - ioco theory

KW - Formal Methods

U2 - 10.3233/978-1-60750-711-6-1

DO - 10.3233/978-1-60750-711-6-1

M3 - Chapter

SN - 978-1-60750-710-9

T3 - NATO Science for Peace and Security Series D: Information and Communication Security

SP - 1

EP - 32

BT - Software and Systems Safety: Specification and Verification

PB - IOS Press

ER -

Timmer M, Brinksma H, Stoelinga MIA. Model-Based Testing. In Broy M, Leuxner C, Hoare CAR, editors, Software and Systems Safety: Specification and Verification. Amsterdam: IOS Press. 2011. p. 1-32. (NATO Science for Peace and Security Series D: Information and Communication Security; 30). Available from, DOI: 10.3233/978-1-60750-711-6-1