论文部分内容阅读
文章介绍了扩展有限状态机的测试模型和PSL语言,探讨了一种基于EFSM模型的综合控制流和数据流的测试集生成技术,并重点介绍了相应的测试系统结构图.通过这种技术可以更高效的生成协议测试集.
基于扩展有限状态机的测试集生成技术的研究
【摘 要】
：
文章介绍了扩展有限状态机的测试模型和PSL语言,探讨了一种基于EFSM模型的综合控制流和数据流的测试集生成技术,并重点介绍了相应的测试系统结构图.通过这种技术可以更高效的
【机 构】
：
华中师范大学,计算机网络与通信技术研究所,湖北,武汉,430079
【出 处】
：
第十五届中国计算机学会网络与数据通信学术会议
【发表日期】
：
2006年期
其他文献
本文从仿真和流片两个方面对标准单元库的验证方法进行了研究.在仿真方面,提出了采用静态时序分析工具和SPICE仿真工具对单元的估算值和仿真结果进行比较分析的方法来验证,同
针对嵌入式pos(point of sale)复杂的商业功能提供一个通用的商业引擎,商业引擎为pos应用提供了基本的核心数据结构以及有效的商业功能组织方式,在此基础之上用户可以容易、
数据控制协议是在一给定的通信链路上提供发送端和接收端之间的无差错信息传输,分为面向字符和面向比特两种类型,时延是指一个报文或分组从一个网络(或链路)的一端传送到另一
具体分析了移动IP注册过程,重点分析了层次型FA模型中的区域注册机制,详细阐述了区域注册机制的实现过程,最后从时延等方面进行分析,并给出改进意见.结果表明,区域注册机制可
看点一:整体环境2010年,我国经济运行态势良好,户外广告市场呈现稳步增长势头。2010年我国经济保持了平稳较快增长,在良好的大气候下,户外广告市场也呈现了较快增长。今年前1
为了能有效地对以eDonkey为代表的第二代P2P业务进行控制,建立了三种eDonkey的流量模型,并且使用IPP2P模块成功地对eDonkey流量进行识别和限制,进而验证了所建立的模型的正确
介绍并从多方面比较了智能网电信业务,基于Parlay/OSA APIs以及脚本技术开放电信业务以及基于Web服务组合电信业务的特点和优缺点;在分析目前Web服务组合技术的基础上,将工业
在分析传统的面向对象知识表示组织结构的基础上,提出了一种新的面向对象知识表示的新组织方式,使得面向对象知识表示中的各种约束的能够更为有效的管理和维护,并简单分析了
山东省太谷县教育网为了方便控制和易于实现,在横向上要求照顾到所有校园和个人,在纵向上要求分层实现,具体包括三个层次:中心层(网络信息中心),转接层(教育网络平台),实现层