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.
这种方法为基于构造类别代数的协议测试提出了一个新的方向。
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.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
应用推荐