论文部分内容阅读
协议测试对于保证协议实现的正确性起着至关重要的作用，被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性，它不仅能将协议测试贯穿于协议实现的整个生命周期，而且可用于网络管理。文章使用B方法对被动测试进行了形式化建模，使用该模型可检测出网络协议实现错误。
基于B方法的被动测试形式化研究
【摘 要】
：
协议测试对于保证协议实现的正确性起着至关重要的作用，被动测试通过在线监测网络设备运行状态的转变来测试协议实现的正确性，它不仅能将协议测试贯穿于协议实现的整个生命周期
【机 构】
：
兰州交通大学电子与信息工程学院
【出 处】
：
甘肃科技
【发表日期】
：
2007年11期
其他文献
实验室是一个为保障学校师生进行科研和教学的实践平台、学习平台，实验室的管理必将成为学校管理建设的重要环节。将实验室固定资产数据管理网络化，仅仅是一个开端，在此基础上我
在石油产品的买卖过程中，槽车油品交接计量及理赔是非常重要的一个环节，槽车油品计量准确度的高、低，直接影响到企业的信誉和形象，提高计量的准确性，是扩大油品市场占有率的重要手
高层建筑钢结构的应用与发展是一个国家经济发展与科技水平的综合体现,其理论与技术大都成熟。随着我国经济的高速发展,近年高层钢结构越来越广泛的出现在城市建筑群中,本文
本文依据电力系统无人值守变电站的实际情况和需求，以现有远动2M专线为传输通道，提出一种变电站远程视频监控报警系统方案，在调度中心实现对远端变电站视频、报警的综合监控。
甘肃省红十字会黄河医院成立于2003年7月,作为一所甘肃省民营医院,在妇科微创手术方面达到了全省领先地位。32个月以来,开腹手术率从100%降到2.08%,腹腔镜手术率从0%渐增到97
当前，我国林业正处在以生态建设为主的关键时期，实现林业持续快速协调健康发展的艰巨任务，对林业人才工作提出了更高要求。多年来，院南市的大批优秀人才为林业建设做出了突出贡献
随着现代科学技术的迅速发展，尤其是计算机多媒体的出现，网络技术的运用，已给现代教学带来了深刻的变化，在教学中的实际应用也越来越广泛，然而，作为学校教育教学重要部分的体育教学
通过首次对金川矿山部分井巷支护混凝土的实地取样、检测、试验、统计分析，初步对矿山井巷支护混凝土实体强度做出评价，为设计、监理、施工、用户方提供真实数据。是金川矿山工
伴随着信息时代的扑面而来，互联网拉近了年轻人之间的距离，为他们打开了一窗通往外部世界的“窗户”，同时互联网的发展也，以便捷、高效的方式为大学生提供了求知和学习的平台，对于
为了进一步完善线网规划的方法,文章一方面介绍线网规划学术发展概况;另一方面对其中有争议的学术问题进行探讨,希望引起大家的深入思考,推动该领域规划工作的发展。