A theory of testing for real-time
| Title | A theory of testing for real-time |
| Publication Type | Conference Papers |
| Year of Publication | 1991 |
| Authors | Cleaveland R, Zwarico AE |
| Conference Name | , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91 |
| Date Published | 1991/07/15/18 |
| Publisher | IEEE |
| ISBN Number | 0-8186-2230-X |
| Keywords | Algebra, 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 |
| DOI | 10.1109/LICS.1991.151635 |