Logic in Computer Science (LICS 1991)

Paper: A theory of testing for real-time (at LICS 1991)

Authors: Rance Cleaveland Amy E. Zwarico

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

BibTeX

  @InProceedings{CleavelandZwarico-Atheoryoftestingfor,
    author = 	 {Rance Cleaveland and Amy E. Zwarico},
    title = 	 {A theory of testing for real-time},
    booktitle =  {Proceedings of the Sixth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1991},
    year =	 1991,
    editor =	 {Giles Kahn},
    month =	 {July}, 
    pages =      {110--119},
    location =   {Amsterdam, The Netherlands}, 
    publisher =	 {IEEE Computer Society Press}
  }