论文部分内容阅读
并发数表组合表述法 (并发 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年代）的西方修辞学界对隐喻的研究奠定了基础。亚里士多德对隐
随着校园网络技术的发展，校园网络管理和安全防护问题目益突出。本文针对这方面问题，浅谈了相关管理与维护的主要措施、方案和对策。概述了网络管理制度、软件和网络安全防护技