【摘 要】
：
在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型
论文部分内容阅读
在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模型的测试生成方法作了重点介绍。同时对基于扩展有限状态机、确定有限状态机、标号变迁系统、外部行为描述等模型的方法也作了介绍。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。
其他文献
归纳分析了近5年国内发生的江西九江地震、云南盐津地震、云南普洱地震和四川汶川地震中框架填充墙结构常见的震害现象及其破坏原因，在此基础上，采取“以强御强”和“以柔
在唯物史观的视野中,社会历史时代是指占统治地位的社会形态兴起、发展到衰亡的长期历史过程,这个过程又分为不同阶段,呈现出具体的阶段性特征;划分历史时代的根本标准是社会
进入21世纪以来,国际上有不少国家都对建设世界一流大学或卓越大学表现出强烈的关注。本文粗略考察了德、日等国家的一些情况,并揭示我国学术界探讨这一话题背后所隐藏的西方
痛风石是慢性痛风性关节炎病情恶化的表现,该文报道了1例少见的脊柱痛风石病 例.患者男性,29岁,于6年时间内由普通痛风发展为全身多处痛风石,关节疼痛反复发作,曾接 受各种不
教育竞争能够区分具有不同潜在生产率的劳动者,并使其与就业岗位进行有效匹配。然而,在教育竞争的激烈程度有所差异的情况下,竞争对劳动者的筛选可能会发生扭曲。在教育竞争
目的分析与探究门诊西药房药学服务满意度。方法抽取在我院接受治疗的122例门诊患者设为研究对象,让患者在提升药房服务前后的进行满意度问卷调查,通过对问卷调查的结果进行
目的:探讨运动后摄入大豆与乳清混合蛋白,血液中必需氨基酸的动态变化模式。方法:健康洁净级Wistar系雄性大鼠18只随机分为3组:大豆蛋白组、乳清蛋白组和双蛋白组。运动模型
新生儿缺氧缺血性脑损伤(HIBD)是指在围产期时窒息使婴儿脑部缺氧或者缺血而形成的一种脑部损伤,是一种常见的新生儿缺血缺氧性脑病,对婴儿的致死率和致残率都较高。该病症多
为确保我军联勤保障的顺利实施,必须强化审计监督,建立与之相适应的审计监督机制,调整监督范围,突出审计重点,提高审计监督水平。
目的:分析Q-T间期延长的临床意义。方法:选择收治的110例Q-T间期延长的患者,按照其原发疾病的不同分类,进一步测算其Q-T间期离散度(Q-Tcd),并根据心律失常和不同类别时的Q-Tc