构造类别代数规范相关硕士博士期刊学术论文 - 搜论网

构造类别代数规范相关论文

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为......

期刊

协议测试构造类别代数规范有限状态机通信协议 protocol testconstructed type algebra specificationfini

看过本文同时还关注