OOBFDT 相关硕士博士期刊学术论文 - 搜论网

OOBFDT相关论文

基于面向对象方法的形式描述技术OOBFDT

介绍了一种新的形式描述技术——基于面向对象的形式描述技术OOBFDT,讨论了协议的建模方法,并在协议的模型上给出了导出一致性测试......

会议

OOBFDT 面向对象方法形式描述技术协议模型协议一致性测试

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术（OOBFDT），提出了一种基于面向对象技术的协议测试例生成新方法。它采用C＋＋语言作为协议说明的描述工具，......

期刊

一致性测试 OOBFDT 协议测试例面向对象 C++ conformance testing OOBFDT protocol test case o

看过本文同时还关注