【摘 要】
：
为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者
论文部分内容阅读
为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.
其他文献
用金属有机物化学气相沉积技术在蓝宝石衬底上外延了高P组分的GaN1 -xPx薄膜 利用x射线衍射仪和拉曼光谱仪研究了P对GaN1 -xPx 晶体结构的影响 .研究结果表明 :随着P组分比
采用射频磁控溅射方法在纯N2气氛中沉积了非晶CNx薄膜样品,并在真空中退火至900 ℃.对高温退火引起的CNx薄膜化学成分、键合结构及其场发射特性方面的变化进行研究.用傅里叶
讨论了在光折变LiNbO3晶体中建立电场控制的 2× 2直通交换开关的原理设计方案。通过控制读出光栅时外加电场的大小使读出光满足或偏离布拉格条件 ,从而控制衍射效率为 1或 0
以间异丙基溴苯 1为起始原料 ,通过进攻环氧乙烷及溴代两步制得溴化物 3.溴化物 3与 Hagemann′s酯发生偶联反应 ,水解后生成偶联产物 5 .再以路易斯酸 BF3 ·Et2 O催化化合
建立了含克尔介质微波激射器腔场稳态光子数分布的表达式.研究了在热原子、临界和超冷原子的方式下微波激射器中原子在稳态时的反转特性. 结果表明:注入的二能级原子在不同方
A Hydrothermal reaction of MoO 3, NiCl 2·6H 2O, WO 3 and H 2O with a molar ratio of 1∶0.6∶1∶83.3 gives a rhombic-shaped black crystal [NiMo 12
对以钴、镍、钴 镍、钴 二茂铁、镍 二茂铁和二茂铁为催化剂高温热解法制备的硼碳氮 (BCN)纳米管的结构、产率等的影响进行了分析 .实验中发现催化剂在BCN纳米管的生长过程
陶器工艺品是我国最古老的工艺美术品。远在新石器时代就有风格粗犷、扑实的灰陶、红陶、白陶、彩陶和黑陶等。商代已出现釉陶和初具瓷器性质的硬釉陶。在欣赏时结合本地区的
对《旧唐书·太宗本纪》下卷中存在的疑义,包括夺字、形误、音误、漏句、衍文等予以考辨,并提出了22处质疑及修正意见。
The doubts existing in the volumes of Old Tang T
通过脉冲射频等离子体聚合方法获得乙烯基乙酸沉积薄膜 ,并用红外光谱、x射线光电子能谱、表面张力、微分扫描量热分析及扫描电子显微镜等测试方法研究聚合沉积薄膜的化学结