论文部分内容阅读
提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准，借助模型检查中的例证构造技术生成满足相应覆盖标准的测试套。在此基础上该文给出了测试套优化算法。实验结果表明该方法可行有效。
基于模型检查的协议一致性测试套自动生成
【摘 要】
：
提出一种构造完全可执行协议一致性测试套的新方法。该方法分别用Kripke结构和CTL公式来描述协议的EFSM模型和测试套所要满足的控制流和数据流测试覆盖标准，借助模型检查中的
【机 构】
：
中国科学技术大学计算机科学技术系
【出 处】
：
计算机工程
【发表日期】
：
2006年11期
其他文献
介绍了国际标准MPEG-4 AAC音频编码各模块的功能和作用,以及各模块所采用的算法;描述了心理听觉的原理以及心理听觉模型的建立;最后提出了音频编码器质量评价的方法.
分析了收枕机构工作原理和现场铲枕臂使用情况,研制出更为合理的收枕机构。另外,利用有限元分析方法,对比改进前后两种结构的受力情况和变形量,通过现场安装验证了改进后方案
【摘要】笔练是仁爱版英语教材中的重要组成部分，如何有效地使用教材的筆练则是教师关注的话题。本文就笔练能凸显功能运用、实现教学目标、培养学生自主学习意识、融入课堂评价四方面对教材中的笔练进行阐述和解读，目的是发展和提高学生的语言实践能力。 【关键词】仁爱版英语教材;笔练;语言实践 初中英语仁爱版英语教材中设置了一定量的笔头练习（以下简称笔练），其设计新颖、练习适量、题型多样、针对性强的特点备受广
在工业生产中,完全人工分拣作业很难实现生产目标,而传统机器人分拣还存在系统稳定性较差、精度较低等缺点。针对这些问题,在传统分拣机器人中引入机器视觉,完成对工件、食品以及其它产品的分拣工作,不仅能够满足生产需求,而且能够提高生产效率。基与此,重点分析目标识别、目标跟踪以及视觉伺服等关键技术的研究现状以及在工业、食品以及其它领域的应用现状,并对未来的发展趋势进行展望。
提出多帧控制协议和节点互访协议，讨论了两种协议在CAN协议上的实现及报文调度方法。采用多帧控制协议对多帧报文进行传输拧制。节点互访协议采用存储区映射的方法来建立节点
UML作为当前流行的一种标准建模语言,已越来越广泛地应用于各种应用领域的软件系统设计.该文通过运用UML对混合流水线制造系统仿真软件的设计,阐明UML在系统仿真软件设计中的
已有的多数秘密分享方案是基于特殊的门限接入结构。该门限结构假定各分享者具有完全平等的权利和安全，这是难以实现的。基于离散对数和大整数因式分解，提出了一种具有广义接入
提出并设计实现了一个基于Linux系统平台的容双故障的通用软磁盘阵列平台Deraid.它容许阵列中任意两个磁盘同时出错而保证数据不丢失.可以为各种需要大容量存储的系统提供容
【摘要】传统的说课费时费力，往往只是在公开课、教研等场合使用，而说课是能有效提升教学质量的，因而在高考后，教师应对教学内容有更深刻的认识。本文从传统的说课结构入手，针对数学全国卷高考及本校学生的情况，对说课的内容及流程进行了重构，赋予了说课更多的实用性与针对性。 【关键词】全国卷高考;说课;重构;复习课 一、传统的说课及基本步骤 说课即教师将教学中的思考、理念、教学意图和目的、教学内容、教学