The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
在通信协议的一致性测试中，可以使用构造类别代数来对协议进行形式化的描述。
This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.
这种方法为基于构造类别代数的协议测试提出了一个新的方向。
应用推荐