Toward formal TTCN-based test execution

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.