论文部分内容阅读
并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基于并发 TTCN测试系统的设计 .最后介绍了测试集的设计
基于形式化方法的因特网路由协议的一致性测试
【摘 要】
：
并发数表组合表述法 (并发 TTCN)是可以描述并发测试行为的测试表述法 .该文提出一种基于并发TTCN的分布式路由协议的测试方法 .首先讨论路由协议实体的测试结构 ,然后给出基
【出 处】
：
软件学报
【发表日期】
：
2000年4期
【基金项目】
：
This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ,,Nos.6 94730 11and6 96 82 0
其他文献
摘要：隐喻认知可以引起词汇的变化，其变化方式有词义延伸、词性转化和“死隐喻”成语或谚语等。教学中对隐喻词汇进行分析探讨，可提高学习者英语词汇的学习能力，感受英语语言的灵活性与美。 关键词：英语；词汇教学；隐喻认知；词义延伸；词性转化 亚里士多德在西方最早对隐喻进行了较系统的研究，为其后2000多年（大约从公元前300年到20世纪30年代）的西方修辞学界对隐喻的研究奠定了基础。亚里士多德对隐
【正】 利用草资源,发展节粮型畜牧业,是浏阳市今后发展畜牧业的方向。发展牛、羊、兔、鹅等草食动物,不仅市场潜力大,而且养殖效益好。 1.从畜牧业内部结构的现状,看发展节
15.中药防疫治病,母健仔壮 广西隆安县杨木湾乡万朗村陆福政,饲养母猪年获利数千元。他在饲养过程中很注意防疫和治病。仔猪出生后7～10天内,洗净母猪奶头,用7～9片土霉素研粉加
1993年我们从外地购进了500只幼牛蛙,放入室内养殖。起初喂鲜活小杂鱼、蛆和蚯蚓,当牛蛙个体达50克以上时全部用蚕蛹喂养,成活了451只,到1994年11月份共重274公斤,收入7560元
【正】 编辑同志: 我于1995年5月在贵社读者服务部购巨丰大豆2公斤,于5月下旬播种,种植1333.4平方米,株行距为0.5米×0.6米,9月下旬收获大豆达700多公斤,
1.锥体虫病 此病常发生在8～10月。黄鳝感染锥体虫后,呈贫血状,鱼体消瘦,生长不良。防治方法:①用生石灰清塘消毒,清除锥体虫的中间宿主蚂蟥(水蛭);②用2％～3％的食盐水或0.7ppm浓度
【正】 这里没有挥手来钱的高招,也没有点石成金的绝技,只有必须经过努力才能成功的实实在在的技能。就是从这里——《湖南农业》杂志上,我第一次领略到收获后的喜悦。 那是1
随着校园网络技术的发展，校园网络管理和安全防护问题目益突出。本文针对这方面问题，浅谈了相关管理与维护的主要措施、方案和对策。概述了网络管理制度、软件和网络安全防护技