这种方法为基于构造类别代数的协议测试提出了一个新的方向。
This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
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;
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
应用推荐