next up previous

Final Report of the COST-247 Action


Sarolta Dibuz1(1), Abdulla K. Areik (2)

(1) KFKI Group , LNX Ltd.
Hun u. 2.
Budapest H-1135, Hungary
(2) Department of Telecommunications and Telematics
Technical University of Budapest
Muegyetem rkp.3.
Budapest H-1111, Hungary


Conformance testing is an important step in protocol engineering. It is necessary to ensure the quality and interworking features of the protocol implementations. Conformance testing of protocols used in communication networks is always a complex and difficult task, and time-consuming. Even if the standardised test suit is availbale for the protocol. The paper presents an example of testing an application layer protocol, X.400, highlighting some properties of the protocol and the test suit for it.

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 3

New E-mail address :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page