This paper d iscribed the main function of the NTLS, and then put forward the data structure of the NTLS and the data flow control protocol of the main function of the NTLS.
本文介绍了网络电脑教室的四大功能模块，并提出实现这些功能的数据结构及其数据流控制规则。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
应用推荐