Title :
Toward formal TTCN-based test execution
Author :
Hao, Ruibing ; Wu, Jianping
Author_Institution :
Dept. of Comput. Sci., Tsinghua Univ., Beijing, China
Abstract :
The formal test execution method is an important research field in formal protocol conformance testing. We propose a formal test execution approach that is based on the test notation of the TTCN´s (tree and tabular combined notation) operational semantics, and describe its execution process by using the input-output transition system (IOTS). We also present a practical design of this formal approach. This formal TTCN-based test execution method is very suitable for the construction of a general protocol test system, and also as a means of automatic test suite verification
Keywords :
conformance testing; formal specification; formal verification; protocols; specification languages; telecommunication standards; automatic test suite verification; formal TTCN-based test execution; formal protocol conformance testing; formal specification languages; general protocol test system; input-output transition system; operational semantics; protocol conformance testing; protocol standard; test notation; tree and tabular combined notation; Automatic testing; Computer science; Identity-based encryption; Monitoring; Natural languages; Performance evaluation; Protocols; Sequential analysis; System testing; Tellurium;
Conference_Titel :
INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution., Proceedings IEEE
Conference_Location :
Kobe
Print_ISBN :
0-8186-7780-5
DOI :
10.1109/INFCOM.1997.635134
