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

摘要：

介绍了一种新的形式描述技术——基于面向对象的形式描述技术OOBFDT,讨论了协议的建模方法,并在协议的模型上给出了导出一致性测试例集的3种算法,同时,讨论了一致性测试例集的差错覆盖能力,最后,对利用OOBFDT方法所建协议模型正确性的证明方法进行了论述.

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

作者: 何立强 叶新铭

作者单位: 内蒙古大学计算机学院(呼和浩特)

会议类型: 国内会议

会议名称: 第九届CERNET学术年会

会议地点: 南京

会议语种:中文

页码: 396-399

在线出版日期: 2002-11-01（万方平台首次上网日期，不代表论文的发表时间）