改进的条件判定覆盖相关硕士博士期刊学术论文 - 搜论网

改进的条件判定覆盖相关论文

基于形式化描述的协议一致性测试方法的研究

该文针对协议数据流的测试进行了研究,选择了构造类别代数来对协议的数据流部分进行形式化描述,提出了相应的测试方法.在此基础上,......

学位

协议工程形式化的协议理论协议一致性测试构造类别代数变异分析改进的条件/判定覆盖

看过本文同时还关注