Report 344. Universität Augsburg, Institut für Mathematik, 1995.
Also in: Lecture Notes in Computer Science, Vol. 1099: ICALP 96, pages 75-86. Springer-Verlag, 1996. Shortened version.
Abstract: A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case efficiency of asynchronous systems using dense time. For all three variants considered, it is shown that one can equivalently use discrete time; in the discrete versions, one variant coincides with an approach based on discrete time in in a previous paper, and thus we can clarify the assumptions behind this approach. The resulting testing-preorders are characterized with some kind of refusal traces and shown to satisfy some properties that make them attractive as faster-than relations. The three testing-preorders are incomparable in general, but for some interesting classes of systems implications are shown.