论文部分内容阅读
本文采用通信有限状态机模型描述通信协议，基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法，解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成算法，通过实例说明了采用测试序列生成算法生成了比传统算法更少的测试序列。同时本算法还可以用于多层协议测试。
基于CFSM的一致性测试序列生成方法
【摘 要】
：
本文采用通信有限状态机模型描述通信协议，基于通信有限状态机模型提出了协议一致性测试的测试序列生成方法，解决了构件化协议的测试序列生成的问题。本文实现了测试序列的生成
【机 构】
：
西北师范大学网络教育学院,宁波大学教育学院
【出 处】
：
电脑知识与技术
【发表日期】
：
2008年9期
其他文献
随着网络厂商和开发商逐渐在不同的平台引入IPv6，IPv4和IPv6将长期共存于网络。本文对IETF制定的有关IPv6的RFC进行了深入研究并同现有IPv4的标准进行对比，深入分析了两者之间
该文讨论了数字图像压缩中三种具有代表性的图像变换方法,并采用C++程序语言验证这几种方法。
提出了一种基于PIC单片机绝缘电阻综合参数测试仪的设计方案。采用PIC16F877为控制芯片,结合经典的检流计法,实现了对绝缘电阻的极化指数、吸收比及电阻值的自动测量,测试数
天女花是一种名贵的珍稀观赏树种,现已被列为国家Ⅲ级保护植物,其自然分布区的植被类型可大致分为温带落叶阔叶林带(长江以北)和暖温带常绿阔叶林带(长江以南)。华东地区是天女花分布比较集中的区域之一,也是两种植被带的分界区。论文采用微卫星标记对华东地区两种植被带内的8个天女花自然种群的遗传多样性和遗传结构进行了分析。结果表明:华东地区天女花种群遗传多样性与近缘种相比较低(N_A=3.83、H_O=0.2
TCP/IP是INTERNET上每台计算机之间通信共同遵循的一种通信协议,其中IP对我们来说是至关重要,IP地址能够唯一地确定internet上每台计算机所属的网络及每个用户的位置。利用逻