基于RFSM的健壮性测试技术研究

来源 :通信学报 | 被引量 : 7次 | 上传用户：safemon

【摘要】

：

提出了一种系统实现协议健壮性测试的方法,该方法首先在分析BGP协议状态机的基础上,认为基本FSM对功能部分和健壮性处理部分未能严格区分。要提高FSM的健壮性,就需要通过增加状态、迁移和事件的基础上构造具有健壮性处理过程的RFSM(robustnessfinitestatemachines),把RFSM模型应用到BGP健壮性测试当中,文章详细构造了BGP冲击集合和RFSM,生成了反向测试集,并对测试

【作者】

：

王乐春朱培栋龚正虎

【机构】

：

国防科学技术大学

【出处】

：

通信学报

【发表日期】

：

2005年09期

【关键词】

：

健壮性测试 RFSM 反向测试集 BGP协议 robusmess testing RFSM negative test suite BGP

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

利用失压保护延时功能提高矿井供电系统可靠性

煤矿变电所矿用一般型高压柜通过设置失压保护延时或者加装失压延时控制器,实现躲过变电所母线低电压瞬间闪变时的跳闸故障,可减少大面积停电事故的发生,提高矿井供电系统的

期刊

母线低电压瞬间闪变失压保护延时bus low voltagetransient flickerno-voltage protection time-del

星载光控高温超导衰减器及其光热效应影响时长

提出了一种针对星载高温超导系统使用的新型光控高温超导微波可变衰减器。该衰减器的实质是利用高温超导薄膜极低的微波表面电阻和卓越的激光响应特性,实现优良的衰减性能。主要结论包括:高温超导衰减器的插入损耗小于0.2dB,比常规衰减器低1个数量级;当激光波长为0.68μm时,高温超导衰减器的可变衰减精度小于0.01dB,比常规衰减器至少低1～2个数量级;研究了激光热效应的影响时长,当激光功率为45mW时,

期刊

高温超导衰减器微波激光high temperature superconductor attenuator microwave laser

用可行路径计算网络可靠性参数的算法

为了解决复杂的容限网络中计算频度、可用度、持久度参数是非常困难的情况,文章通过列举出所有可行网络拓扑的方法来计算出给定各边容量的网络的这些参数。这种方法既可获得这些参数的表达式,也可计算出其精确值。

期刊

拓扑列举容限网络频度可用度和持久度topological enumeration capacity-limited network frequency

进程强制运行控制方法的设计与实现

在复杂的企业内部信息网中,应用系统常常会出现不可预见的死锁问题,死锁问题的出现会造成业务的中断,有时甚至会使整个应用系统崩溃。保证应用系统和操作系统正常运行不中断是提高软件可靠性的难题。进程强制运行控制(Mandatory Running Control,MRC)方法通过从操作系统内核中获取进程信息,对各进程进行实时监控,从操作系统内核层面上解决不可预知的死锁问题。进程强制运行控制方法能够确保系统

期刊

软件可靠性强制运行控制进程监控内核保护software reliabilitymandatory running controlmonitoring p

阿克苏核桃防冻措施

阿克苏是新疆维吾尔自治区特色林果业发展的重要区域,近年来其核桃种植面积不断扩大,核桃产量随之提高。然而,当前核桃种植活动开展面临的突出难题在于自然条件尤其是低温条

期刊

核桃树防冻措施阿克苏

星载InSAR系统干涉信号模拟方法

为了对星载干涉合成孔径雷达(InSAR)系统信号处理研究提供数据源,研究了系统干涉信号的模拟。首先分析了信号模拟所需的几何模型、散射模型及信号模型,给出了利用这些模型模拟干涉信号的流程。通过分析小面单元数与相干系数的关系,得到当取满足一定条件的小面单元数时,模拟出的干涉信号能够进行干涉,并且其相干系数能和理论值吻合。通过采用上述方法进行模拟验证了上述方法的有效性。

期刊

干涉合成孔径雷达模拟小面单元相干性InSAR simulation facet correlation

基于多层极小支配集聚类的WSN路由算法研究

提出了对随机聚类方法加以改进的新型多层极小支配集聚类算法,首先讨论了图论中的极小支配集算法,并根据实际需要提出了一种改进的简化近极小支配集的算法,大大降低了计算极小支配集的复杂程度,然后讨论了极小支配集应用在无线传感器网络聚类的实现,最后验证了该算法在能耗方面的性能改进。

期刊

无线传感器网络多层极小支配集聚类能耗wireless sensor system mult-level minimal dominating luste

通用SPARK 我选择我享受

爱车篇“奔3”的我已经工作多年，拥有一辆属于自己的汽车一直是我的梦想。所以单位里的“有车一族”绝对是我羡慕的对象。就这样，我总把车的一切事情挂在嘴边。于是单位的同事

期刊

单位汽车通用SPARK同事

飞机加强蒙皮在12．7mm弹丸撞击下的变形与破坏

为了研究飞机蒙皮在12．7mm标准机枪弹丸射击下的损伤，对3mm厚LY-12CZ材料的单蒙皮及其加筋板进行了模拟弹击试验。通过试验研究，建立了一个由高速气炮、弹体与弹托分离机构、连

期刊

固体力学损伤数值模拟加强蒙皮高速气炮solid mechanics damage numerical simulation reinforced ai

带尾翼的翻转型爆炸成形弹丸的三维数值模拟

利用LS-DYNA三维动力有限元程序对三点起爆的翻转型EFP形成过程及三个尾翼进行了数值模拟.计算结果与实验结果的比较表明:数值计算结果和实验结果吻合较好,可为弹丸优化设计

期刊

爆炸力学优化设计LS-DYNA翻转型爆炸成形弹丸本构模型尾翼mechanics of explosions optimum design LS-DY

基于RFSM的健壮性测试技术研究

与本文相关的学术论文