探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段 To explore the test-based formal implementation of the method is to carry out formal agreement conformance testing key links. This paper presents a formal test execution method of operation semantics based on TTCN, and uses label transition system to depict the whole implementation of this method. At the same time, a concrete realization of this method is discussed. This formal TTCN-based test execution method is very suitable for the construction of a common protocol test system, but also an effective means of automated test set