Testing is the most dominating validation activity used by industry
today, and there is an urgent need for improving its effectiveness,
both with respect to the time and resources for test generation and
execution, and obtained test coverage. We present a new technique for
automatic generation of real-time black-box conformance tests for
non-deterministic systems from a determinizable class of timed automata
specifications with a dense time interpretation. In contrast to other
attempts, our tests are generated using a coarse equivalence class
partitioning of the specification. To analyze the specification, to
synthesize the timed tests, and to guarantee coverage with respect to
a coverage criterion, we use the efficient symbolic techniques
recently developed for model checking of real-time systems.
Application of our prototype tool to a realistic
specification shows promising results in terms of both the test suite
size, and the time and space used for test generation.
