A generic type definition is not assignable from a closed constructed type.
泛型类型定义不可以从封闭构造的类型赋值。
This is true even if the enclosing generic type is a closed constructed type.
即使封闭泛型类型为封闭构造类型,也是如此。
Client code must declare and instantiate a constructed type by specifying a type argument inside the Angle brackets.
客户端代码必须通过指定尖括号中的类型参数来声明和实例化构造类型。
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing.
在通信协议的一致性测试中,可以使用构造类别代数来对协议进行形式化的描述。
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.
针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法。
This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.
这种方法为基于构造类别代数的协议测试提出了一个新的方向。
This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.
这种方法为基于构造类别代数的协议测试提出了一个新的方向。
应用推荐