基于B方法的被动测试形式化研究

• 作者: 李启南
• 来源期刊: 甘肃科技
• 学科: 工学
• 关键词: 形式化方法 被动测试 B方法 协议测试
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 研究与探讨
• 页码范围: 102-104
• 页数: 3页
• 分类号: TP311.5
• 字数: 2829字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-0952.2007.11.039

摘要

协议测试对于保证协议实现的正确性起着至关重要的作用,被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性,它不仅能将协议测试贯穿于协议实现的整个生命周期,而且可用于网络管理.文章使用B方法对被动测试进行了形式化建模,使用该模型可检测出网络协议实现错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李启南	兰州交通大学电子与信息工程学院	15	21	4.0	4.0