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

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


    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
    Number of pages36
    ISBN (Print)0-7695-2077-4
    Publication statusPublished - 16 Jun 2004

    Publication series

    PublisherIEEE Computer Society


    • IR-49284
    • METIS-221488

    Fingerprint Dive into the research topics of 'Testing times: on model-driven test generation for non-deterministic real-time systems'. Together they form a unique fingerprint.

    Cite this