@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 = jun,
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",
}