A theory of testing for real-time

TitleA theory of testing for real-time
Publication TypeConference Papers
Year of Publication1991
AuthorsCleaveland R, Zwarico AE
Conference Name, Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91
Date Published1991/07/15/18
PublisherIEEE
ISBN Number0-8186-2230-X
KeywordsAlgebra, Character generation, Computer science, Delay, formal logic, Licenses, nondeterminism, Process control, Protocols, Real time systems, real-time, System testing, testing preorders, testing theory, timed testing, Timing, timing behavior, transition systems
Abstract

A framework for generating testing preorders that relate processes on the basis of their timing behavior as well as their degree of relative nondeterminism is developed. The basic concepts of transition systems and testing are reviewed, and timed testing, which takes account of the delay exhibited by a process as it attempts to pass a test, is introduced. The framework is then applied to two different scenarios. In the first, relations are constructed that relate processes on the basis of all timing considerations. In the second, relations are constructed that relate processes on the basis of their relative speeds. In both cases, alternative denotational characterizations of the resulting preorders are presented, and examples are given to illustrate the utility of the approach

DOI10.1109/LICS.1991.151635