Test selection criteria for real‐time systems modeled as timed input‐output automata

Abstract

Purpose

This paper aims to address formal testing of real‐time systems by providing readers with guidance for generating test cases from timed automata.

Design/methodology/approach

In this paper, a set of test selection criteria is presented. Such criteria are useful for testing real‐time systems specified by timed automata. The criteria are introduced after the presentation of timed automata model and the concepts related to it.

Findings

The paper finds that the set of test selection criteria are ordered based on the inclusion relation. The ordering is useful for developing new testing methods and for comparing existing approaches.

Originality/value

Each of the proposed test selection criteria can be used to develop a new method for testing timed automata with certain fault coverage.

Citation

En‐Nouaary, A. (2007), "Test selection criteria for real‐time systems modeled as timed input‐output automata", International Journal of Web Information Systems, Vol. 3 No. 4, pp. 279-292. https://doi.org/10.1108/17440080710848080