Model-Based Testing

Mark Timmer; Hendrik Brinksma; Mariëlle Ida Antoinette Stoelinga

doi:10.3233/978-1-60750-711-6-1

Model-Based Testing

Mark Timmer, Hendrik Brinksma, Mariëlle Ida Antoinette Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

559 Downloads (Pure)

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 language	Undefined
Title of host publication	Software and Systems Safety: Specification and Verification
Editors	M. Broy, C. Leuxner, C.A.R. Hoare
Place of Publication	Amsterdam
Publisher	IOS
Pages	1-32
Number of pages	32
ISBN (Print)	978-1-60750-710-9
DOIs	https://doi.org/10.3233/978-1-60750-711-6-1
Publication status	Published - Apr 2011

Publication series

Name	NATO Science for Peace and Security Series D: Information and Communication Security
Publisher	IOS Press
Number	30
Volume	30
ISSN (Print)	1874-6268

Keywords

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

Access to Document

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

Cite this

@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{\"e}lle Ida Antoinette}",

note = "10.3233/978-1-60750-711-6-1 ",

year = "2011",

month = apr,

doi = "10.3233/978-1-60750-711-6-1",

language = "Undefined",

isbn = "978-1-60750-710-9",

series = "NATO Science for Peace and Security Series D: Information and Communication Security",

publisher = "IOS",

number = "30",

pages = "1--32",

editor = "M. Broy and C. Leuxner and C.A.R. Hoare",

booktitle = "Software and Systems Safety: Specification and Verification",

address = "Netherlands",

}

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, 2011. p. 1-32 (NATO Science for Peace and Security Series D: Information and Communication Security; Vol. 30, No. 30).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

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

A2 - Broy, M.

A2 - Leuxner, C.

A2 - Hoare, C.A.R.

PB - IOS

CY - Amsterdam

ER -