【摘 要】
：
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列（ESIS）生成算法．新算法基于宽度优先搜索可执行
论文部分内容阅读
在以扩展有限状态机（EFSM）为模型描述的协议一致性测试系统中，为了解决状态验证序列的可执行性问题，提出了一种新的可执行状态验证序列（ESIS）生成算法．新算法基于宽度优先搜索可执行分析树（EAT）的思想，从状态验证需求的角度，在EFSM的状态格局投影子空间中，采用分步计算的方式生成具体验证场景下的最短可执行状态验证序列，从而减少了在完全状态格局空间中单步计算所有状态验证序列的复杂性．实验结果表明了新算法对生成EFSM可执行状态验证序列是有效的．
其他文献
【正】 来稿认为,农村残余形态的阶级斗争,大量还是表现在意识形态领域。剥削阶级作为一个完整的阶级被消灭后,社会上仍然存在敌对的势力和敌对分子,这是不容置疑的事实。但
【正】 今年以来,吉安地区在竞的十三届六中全会精神指引下,从地县两级组织了近四千名干部下基层。下基层的干部深入群众,调查研究,体察民情,广交朋友,多办实事,做了大量卓有
以往的单点登录（SSO）方案仅支持客户机/服务器（C/S）模式或浏览器/服务器（B/S）模式,不能很好地支持多模式混合应用的情况.为了解决以上问题,提出了多模式应用的单点登录方案.该方案
当前道路施工必不可少的一项材料就是沥青,虽然在使用沥青时过程比较复杂,但是沥青也是当前道路施工的首选。既然是道路施工的常用材料,那么在施工中,对其施工技术的要求也是
提出了一个基于统计的从未标注语料库中半自动获取语义语法算法.该算法对特定领域的语料库进行反复的时间聚类和空间聚类,通过时间聚类发现语言片段的语法结构;通过空间聚类
【正】 九十年代第一春,特别令人感到生机盎然、充满希望。 江泽民总书记、杨尚昆主席、李鹏总理等中央政治局常委领导同志,新春伊始,纷纷深入基层,看望工人、农民、知识分子
飞思卡尔半导体宣布面向手机市场推出四频段GSM／GPRS／EDGE射频(RF)子系统。同以前的GPRS手机相比，新的射频子系统可将手机的通话时间延长20％。
在连续三年以两位数的速度下滑之后，面向电信、网络接入、数据通信和网络存储应用的光学收发器市场终于步上复苏之路。市场调研公司iSuppli初步估计，2004年这些应用领域的全球
甘肃周家坡铜矿是处于扬子板块西北边缘的次级构造单元-碧口增生体。周家坡铜矿床具有固定的地层层位,矿体赋存于变质火山岩-凝灰质千枚岩内,或细碧岩与凝灰质千枚岩之间,产
为了研究装配式结构砖砌体的成砖工艺和成墙工艺,将钢板与混凝土结合设计出一种钢-混凝土组合砖,在此基础上分析了组合砖的成墙工艺,为砌体砖的设计提供了新的参考,有利于装