IEEE - Institute of Electrical and Electronics Engineers, Inc. - A framework for conformance testing of systems communicating through rendezvous

Proceedings of Annual Symposium on Fault Tolerant Computing

Author(s): Tan, Q.M. ; Petrenko, A. ; von Bochmann, G.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Sendai, Japan, Japan
Conference Date: 25 June 1996
Page(s): 230 - 238
ISBN (Paper): 0-8186-7262-5
ISSN (Paper): 0731-3071
DOI: 10.1109/FTCS.1996.534610
Regular:

A formal framework is first proposed for conformance testing of communication systems, which are modeled by labeled transition systems, in a systematic and operational approach. In this framework,... View More

Advertisement