一致性测试生成相关硕士博士期刊学术论文 - 信丰网

一致性测试生成相关论文

INAP协议一致性测试生成的形式化方法

文章应用形式化方法对INAP协议进行测试.基于INAP协议描述的I/O FSM模型,应用UIO方法生成一致性测试序列,然后应用中国乡村邮递员......

期刊

INAP协议一致性测试生成形式化方法通信协议 UIO序列计算机网络 INAP UIO Conforma nce test Formal method

看过本文同时还关注