Abstract
We extend our previous work on model-based testing [2]. We propose a formal framework for black-box conformance testing for distributed real-time systems. Our framework is based on the model of partially-observable, non-deterministic timed automata. A given distributed system can be modeled either as a single timed automaton or a network of timed automata. Our algorithm for generating test suites is based on an on-the-fly determinization of the specification automaton. Our testing architecture may be either centralized or not.