论文部分内容阅读
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。
一种通信协议测试序列生成的新方法
【摘 要】
：
本文讨论了一种协议测试的新方法 ,它使用构造类别代数描述通信协议规范 ,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较 ,得出两种方法在一些方面是等效的 ,但在处理状态较多的协议时 ,这种方法有一定的优点。
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
通信学报
【发表日期】
：
2001年06期
其他文献
作为下一代网络的核心技术,GMPLS可以支持具有QoS的流量工程和更高级别的生存性要求.本文提出了一种面向业务的基于GMPLS生存性策略的选择算法.该算法以现有三种标准的GMPLS
论述空调通风在医院类公共场所中的设计分析,以推动公共场所空调通风设计发展及提供合理性的设计建议。气候变化当下,传染性病毒不断变化肆虐,通过对空调设计中加湿设备选择
2009年7月1日《企业内部控制基本规范》将在沪、深两市上市公司首先执行，这标志着企业内部控制发展逐渐完善，在为我们提供更具操作性的内部控制框架的同时，也对内部控制执行提出
讨论了导热油炉开车调试中洗炉、烘炉、脱水排气的原因、方法和步骤,给出了升温操作中导热油炉的升温曲线及注意事项。总结了升温过程要遵循＂一慢二停＂的原则：一慢即升温速率要
中国股票市场也犹如大浪淘沙，尽管不乏业绩长期保持优良的上市公司，但也有不少上市公司因经不起市场的风浪，陷入困境甚至退市。自2007年5月18日起实达电脑（600734）暂停上市。实达
目的研究全程护理对小儿哮喘雾化吸入治疗效果及依从性的影响.方法 56例小儿哮喘患儿,随机分为对照组与观察组,各28例.对照组给予常规护理,观察组给予全程护理.观察比较两组
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
美声(bel canto)对于中国和美国来说都算是舶来品。由于历史、地域等原因,美声在中、美各自的土壤也产生了不同的变化。因此在声乐教育领域,也诞生了不同的教育理念、教育手段。本文将以中、美声乐教育文献为基础,通过文献计量的方式探索与比较两国在相关领域的研究热点以及理论架构,以期指出两者之间的瑕疵与不足,并提出建议。全文由绪论、四个章节和结语构成。第一章是对两国的样本文献进行分类统计;第二章分别对