Testing times: on model-driven test generation for non-deterministic real-time systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Abstract

Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.
Original languageEnglish
Title of host publicationFourth international conference on application of concurrency to system design: ACSD 2004
EditorsM. Kishinevsky, P. Darondeau
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages3-4
Number of pages36
ISBN (Print)0-7695-2077-4
DOIs
Publication statusPublished - 16 Jun 2004

Publication series

Name
PublisherIEEE Computer Society

Fingerprint

Real time systems
Testing
Black-box testing
Embedded software
Formal methods

Keywords

  • IR-49284
  • METIS-221488

Cite this

Brinksma, H. (2004). Testing times: on model-driven test generation for non-deterministic real-time systems. In M. Kishinevsky, & P. Darondeau (Eds.), Fourth international conference on application of concurrency to system design: ACSD 2004 (pp. 3-4). Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/CSD.2004.1309110
Brinksma, Hendrik. / Testing times: on model-driven test generation for non-deterministic real-time systems. Fourth international conference on application of concurrency to system design: ACSD 2004. editor / M. Kishinevsky ; P. Darondeau. Los Alamitos : IEEE Computer Society, 2004. pp. 3-4
@inproceedings{e19af37d45e149428a653596dd3a009e,
title = "Testing times: on model-driven test generation for non-deterministic real-time systems",
abstract = "Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.",
keywords = "IR-49284, METIS-221488",
author = "Hendrik Brinksma",
year = "2004",
month = "6",
day = "16",
doi = "10.1109/CSD.2004.1309110",
language = "English",
isbn = "0-7695-2077-4",
publisher = "IEEE Computer Society",
pages = "3--4",
editor = "M. Kishinevsky and P. Darondeau",
booktitle = "Fourth international conference on application of concurrency to system design: ACSD 2004",
address = "United States",

}

Brinksma, H 2004, Testing times: on model-driven test generation for non-deterministic real-time systems. in M Kishinevsky & P Darondeau (eds), Fourth international conference on application of concurrency to system design: ACSD 2004. IEEE Computer Society, Los Alamitos, pp. 3-4. https://doi.org/10.1109/CSD.2004.1309110

Testing times: on model-driven test generation for non-deterministic real-time systems. / Brinksma, Hendrik.

Fourth international conference on application of concurrency to system design: ACSD 2004. ed. / M. Kishinevsky; P. Darondeau. Los Alamitos : IEEE Computer Society, 2004. p. 3-4.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Testing times: on model-driven test generation for non-deterministic real-time systems

AU - Brinksma, Hendrik

PY - 2004/6/16

Y1 - 2004/6/16

N2 - Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.

AB - Summary form only given. Although testing has always been the most important technique for the validation of software systems it has only become a topic of serious academic research in the past decade or so. In this period research on the use of formal methods for model-driven test generation and execution of functional test cases has led to a number of promising methods and tools for systematic black-box testing of systems, examples are based on A. Belinfante et al. (1999), J. Tretmans and E. Brinksma (2003), J.-C. Fernandez et al. (1996) and J.-C. Fernandez et al. (1997). Most of these approaches are limited to the qualitative behaviour of systems, and exclude quantitative aspects such as real-time properties. The explosive growth of embedded software, however, has also caused a growing need to extend existing testing theories to the testing of real-time reactive systems. In our presentation we present an extension of Tretmans' ioco theory for test generation as stated in J. Tretmans (1996) for input/output transition systems that includes real-time behaviour.

KW - IR-49284

KW - METIS-221488

U2 - 10.1109/CSD.2004.1309110

DO - 10.1109/CSD.2004.1309110

M3 - Conference contribution

SN - 0-7695-2077-4

SP - 3

EP - 4

BT - Fourth international conference on application of concurrency to system design: ACSD 2004

A2 - Kishinevsky, M.

A2 - Darondeau, P.

PB - IEEE Computer Society

CY - Los Alamitos

ER -

Brinksma H. Testing times: on model-driven test generation for non-deterministic real-time systems. In Kishinevsky M, Darondeau P, editors, Fourth international conference on application of concurrency to system design: ACSD 2004. Los Alamitos: IEEE Computer Society. 2004. p. 3-4 https://doi.org/10.1109/CSD.2004.1309110