基于一种扩展分层有限状态机模型的测试生成

来源 :内蒙古大学学报:自然科学版 | 被引量 : 0次 | 上传用户:conqerzhang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(EHFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.
其他文献
民国时期高等师范学校的学生在课堂活动之外,还进行着广泛的日常交往。因主体的不同,交往可分为师生交往、学生交往和社会交往三种;因为内容的不同,交往可分学业交流、休闲娱
文章着重分析了高职教育人才培养模式变革下的人文素质课程教学存在的主要问题,并根据这些问题,相应地提出了高职人文素质课程教学改革的具体对策。
<正> 企业都是以盈利为目的,这是放之四海而皆准的真理;同时也并不是每一个企业都能盈利,这同样也是一个真理。但是,近年来我国企业,尤其是工业企业普遍效益下滑,而且是大幅
从2月22日起,北京市政路桥养护集团对二环路破损路面进行集中修复,共计两万平方米。此次养护还包括2.38万延米的道路裂缝灌缝,3430米的平石修复和456块防眩板的更换等,用时5
目的:建立蒙药材木棉花萼的质量标准。方法:对不同产地的蒙药材木棉花萼进行性状鉴别、显微鉴别、薄层色谱鉴别。建立测定木棉花萼中芒果苷含量的HPLC法。色谱柱为Agilent Ec
[摘要]课程是教育和教学活动的载体,是实现教育目的和培养目标的重要手段。职业教育课程的教学设计,应当围绕高素质高技能型专问人才的培养目标,遵循“学习目标能力化、学习任务项目化、学习情境职场化、学习资源立体化、学习评价过程化”的“五化”原则,凸显以岗位工作过程为导向、以职业能力培养为主线、“项目驱动”“任务引领”“行动导向”“教学做一体”等特点,积极促进学生岗位适应能力、技术实践能力及应用创新能力的
运用文献资料法和访谈法,从发展和传承的视角,论述武术功法运动的形成,以金坛地区石锁为例,石锁是中国传统的民间体育项目,同时也是古代练功器材。进入二十一世纪以后,全民健
为了揭示草地生态系统的现存生物量随时间的变化规律与气候条件和人为干扰(放牧压,施肥量等)之间的关系,从1974年开始至1994年,每年的4月至11月,在位于日本中部那须地区的国立草
【正】国道111线贯穿怀柔南北,连接首都北京、河北北部与内蒙古东部,是实现京津冀一体化的重要公路交通线路。随着经济的发展和北京市路政局的不断投资改造,这条路变宽了,路
日前,广西公路局召开了2013年全区公路工作会议。据悉.今年广西将新开工和建成一批路网项目.继续实施千村通畅工程.力争到2017年.二级以上公路超过14万公里.实现100%乡镇和建制村通