一种一致性测试方法在专有通信协议测试中的应用研究

来源 :福建电脑 | 被引量 : 0次 | 上传用户:wangxq198
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
专有通信协议一致性的实现是保证项目系统通信质量的关键。本文采用有限状态机FSM对通信协议进行建模。并依据产生的UIO序列生成相应的一致性测试序列,并对一个实际项目进行协议的一致性测试,发现使用了一致性测试方法的测试比没有使用此方法的测试更有效。
其他文献
针对计算机文化基础课程教学现状,从教学内容、教学方法、考核评价方式等多方面提出教学改革方法。
随着我国高等职业教育的快速发展,校园网络在教学、科研、管理和对外交流等方面发挥着越来越重要作用。建立高速、稳定、安全、可靠的校园信息传输平台,是高校信息服务、网络服
本文通过对现在网络信息发展的安全性进行分析,然后提出基于网络的入侵检测系统,分析了基于主机的入侵检测系统。研究了最主要的两种入侵检测技术:异常检测和误用检测,并在此
Moodle是免费开放源代码的学习管理系统,具有易安装、易使用及易管理等特点。本文通过高职课程《计算机应用基础》实例来介绍Moodle平台的各种活动,重点介绍了Moodle界面几个活
期刊
针对影响再流焊温度分布曲线的各种因素进行了分析,并提出了优化曲线的方法,对实际上产过程有一定参考意义。
本文介绍了商业银行IT集中监控系统的需求和监控事件的处理方式.针对应用监控的建设提出了监控要点,并针对两种进程监控模式进行比较、提出优化方案。
介绍了ECO模型驱动技术,分析了ECO状态机的作用、结构和执行序列以及涉及的组件。通过实例设计,包括系统静态模型、动态模型的构建,阐明了ECO逻辑模型确保了数据的一致性,利
本文主要研究应用掣本科信息管理与信息系统专业ERP课程教学模式,在充分考虑应用型本科学生的特点基础上,根据因材施教的教育原则,提出对传统的演绎式教学模式进行改革。在课程
目的探讨特发性右心室室性期前收缩在三维电解剖系统Ensite Velocity指导下的X线零曝光射频消融的效果。方法回顾性分析18例右心室特发性室性期前收缩患者在Ensite Velocity
目的观察支撑喉镜CO_2激光辅助下双侧声带后端切断术治疗双侧声带麻痹的效果。方法对5例甲状腺癌根治术后或多次甲状腺手术后出现双侧声带麻痹行气管切开术以缓解气道梗阻,但