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

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

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.

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.

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