Toward formal TTCN-based test execution

Author

Hao, Ruibing ; Wu, Jianping

Author_Institution

Dept. of Comput. Sci., Tsinghua Univ., Beijing, China

Volume

1

fYear

1997

fDate

7-12 Apr 1997

Firstpage

230

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;

fLanguage

English

Publisher

ieee

Conference_Titel

INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution., Proceedings IEEE

Conference_Location

Kobe

ISSN

0743-166X

Print_ISBN

0-8186-7780-5

Type

conf

DOI

10.1109/INFCOM.1997.635134

Filename

635134