论文部分内容阅读
本文给出了 OSPF协议中路由表计算部分的 Petri网模型和产生测试例的方法 ,以算法中的外部路由计算为例 ,详细介绍了如何从协议文本形式化为 Petri网模型 ,然后再从 Petri网生成测试例的方法 ,并给出了该方法所采用的测试标准 .
OSPF协议中路由表计算的测试例生成方法
【摘 要】
：
本文给出了 OSPF协议中路由表计算部分的 Petri网模型和产生测试例的方法 ,以算法中的外部路由计算为例 ,详细介绍了如何从协议文本形式化为 Petri网模型 ,然后再从 Petri网
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报(自然科学版)
【发表日期】
：
2001年03期
其他文献
以性诱剂为研究对象,采用水盆诱捕器对水稻二化螟成虫进行大田诱杀试验,结果表明:每667m~2放置量为5、7个效果最优,但每667m~2放置量为5或7个相比,组间差异无统计学意义(P>0.
目的测定冠状动脉介入治疗(PCI)的冠心病(CHD)患者的术前、术后血清白细胞介素8(IL-8)和C-反应蛋白(CRP)的水平,研究不同剂量瑞舒伐他汀对CHD患者PCI治疗后的稳定斑块、减少
家是古老的狩猎部落,被誉为最后的"弓箭部落"。弓和箭是家的族徽。弓箭崇拜和太阳崇拜是家稳定的文化心理特征,是家与苗族的主要区别,是民族识别的重要依据。
革命历史题材电影的国家叙事和意识形态表述是国家历史和民族精神的重要表征,革命历史题材影片中作为主要人物的革命主体则是反映特定时期国家意识形态和文化内涵的符号化在
围绕现代导弹攻防问题,首先回顾了二战以来精导打击与打击防护的演变过程,由此引出导弹攻防的蜂群式作战概念;通过人类发展史上出现的四种典型作战样式,理出蜂群式作战的基本
在幼儿户外活动中开展民间游戏,可以帮助幼儿脱离电子科技产品,帮助幼儿提升体能,有利于幼儿身体健康。本文通过幼儿户外活动对民间活动的运用进行了简单阐述,比如教师应当积
切花百合为连云港市鲜切花中主要的切花品种之一,占种植面积的50%,但由于连年种植,土壤连作障碍现象日趋严重。从土传病害防治、土壤理化性状改良、增强植株生长等方面入手,
语文教学是小学教学中重要的组成部分,而阅读教学又是小学语文教学的核心内容,可以说能否有效开展小学语文阅读教学对于学生的全面发展有着重要的影响。尤其在这样一个打基础
底价仲裁制度是美国职棒大联盟中一种独特的薪资纠纷的争议解决方式,它伴随自由球员制度的形成而形成。底价仲裁制度限制了仲裁人的自由裁决,在提起仲裁的条件及听证、仲裁的
目的寻找适合从陈旧全血中提取基因组DNA建立基因组库的方法。方法分别用改良的酚-氯仿法、SDS法、试剂盒法从陈旧全血中提取基因组DNA,采用聚合酶链反应(PCR)对提取的基因组