【摘 要】
：
对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略.这种方法存在组合空间
论文部分内容阅读
对于由通信有限状态机构成的状态图的可同步测试序列的生成策略,一种现有的方法是由状态图生成相应的积自动机,然后采用有限状态机的测试序列生成策略.这种方法存在组合空间爆炸问题和测试序列的同步问题.在定义了测试序列的两类同步问题的基础上,提出了基于多测试驱动的测试模型MTM和基于该模型的测试序列生成策略,该策略在不生成积自动机的情况下,通过同步锁和相应的策略解决两种类型的同步问题,避免了组合空间爆炸问题.
其他文献
结合ＩＳＤＮ用户一网连接口协议，讨论并给出了基于单片机控制的ＩＳＤＮ终端实时多任务操作系统的设计技术。
教师轮岗交流政策为增强不同学校教师之间的交流学习、促进教师专业发展提供了重要契机。基于实践共同体的视角,研究发现当下轮岗教师至少可划分为四种类型:领导者、"适应者"
分布式多层数据库技术目前已成为构建数据库应用系统的主流技术,Delphi中的MIDAS技术是进行多层数据库应用开发的利器.介绍了MIDAS的基本知识以及基于MIDAS技术进行多层数据
MVC设计模式最大限度地解除了应用程序各层次间的耦合,使开发维护变得简洁、高效,已经成为基于web的J2EE应用中广泛采用的设计模式.然而随着应用的不断扩展,传统的MVC模式显
提出一种确定任意多边形凸凹顶点的快速算法，该算法的时间复杂性为Ｏ（ｎ）次乘法和Ｏ（ｎ）次比较。还介绍把该算法用于求平面点集的凸包以及对任意的平面多边形进行Ｄｅｌａｕｎａｙ三角剖分。
电磁阻尼器具有非接触、无机械摩擦和磨损、无须润滑、寿命长以及刚度与阻尼可控等优点，正广泛应用于振动控制领域。在分析电磁阻尼器的基本结构和工作原理的基础上，重点阐述基
摘 要 静脉输液技术是衡量护理技术操作水平的重要依据，它直接影响病人的安全和满意度。作为护士必须熟练掌握这项操作技术，而且要不断探索与革新，才能更好的适应临床工作。 关键词 静脉输液 护理技术 排气一次成功 在排气中应尽量避免挤压莫非氏滴壶，这样可以减少由于液体快速冲向输液器的莫非氏滴壶内，而产生大量的混入液体内的气泡。另外，在排气时还应该注意不要使排气管上的滤气膜浸湿，滤气膜浸湿后会影
从二十世纪七十年代开始,城市环境管理得到了世界各国的普遍关注,伴随着人类环保意识的不断增强,环境问题已经成为国际性的焦点,低碳环保在二十一世纪已经成为人类社会发展以
<正>"重特大事故看似由偶然因素引发,实则是由风险失控逐步演变为隐患,最终酿成事故。中央提出构建风险隐患双重预防性工作机制,就是要把风险管控挺在隐患前面、把隐患排查治
安全、高效、低成本的高容量储氢材料的研究尚处于攻克阶段。分析比较多孔储氢材料的研究现状,期望探索出新型多孔储氢材料。天然微纳米材料凹凸棒石黏土,表面多沟槽、内部多