2. 您的位置
3. 首页
4. 期刊论文
5. 基于一种扩展分层有限状态机模型的测试生成

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

来源 :内蒙古大学学报：自然科学版 | 被引量 : 0次 | 上传用户：conqerzhang

【摘 要】

：

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(EHFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中

【作 者】

：

萨智海 王俊义 

【机 构】

：

内蒙古大学计算机学院

【出 处】

：

内蒙古大学学报：自然科学版

【发表日期】

：

2005年5期

【关键词】

：

扩展分层有限状态机(EHFSM) 控制流 数据流 测试生成 extended hierarchical finite state machine （EHFSM） 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(EHFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.

其他文献

民国时期高等师范学校学生日常交往研究

民国时期高等师范学校的学生在课堂活动之外,还进行着广泛的日常交往。因主体的不同,交往可分为师生交往、学生交往和社会交往三种;因为内容的不同,交往可分学业交流、休闲娱

期刊

高等师范学校日常交往师生交往生生交往社会交往综合素养责任担当

高职教育人才培养模式变革下的人文素质课程教学改革研究

文章着重分析了高职教育人才培养模式变革下的人文素质课程教学存在的主要问题,并根据这些问题,相应地提出了高职人文素质课程教学改革的具体对策。

期刊

高职人文素质课程改革对策

工业企业效益大幅下滑原因探析

<正> 企业都是以盈利为目的,这是放之四海而皆准的真理;同时也并不是每一个企业都能盈利,这同样也是一个真理。但是,近年来我国企业,尤其是工业企业普遍效益下滑,而且是大幅

期刊

工业企业经济效益效益下滑成因分析

北京养护集团5天修复两万平方米破损路

从2月22日起,北京市政路桥养护集团对二环路破损路面进行集中修复,共计两万平方米。此次养护还包括2.38万延米的道路裂缝灌缝,3430米的平石修复和456块防眩板的更换等,用时5

期刊

养护维修北京市修复破损平方道路裂缝病害管理城市道路

蒙药材木棉花萼质量标准研究

目的:建立蒙药材木棉花萼的质量标准。方法:对不同产地的蒙药材木棉花萼进行性状鉴别、显微鉴别、薄层色谱鉴别。建立测定木棉花萼中芒果苷含量的HPLC法。色谱柱为Agilent Ec

期刊

蒙药材木棉花萼芒果苷显微鉴别薄层色谱高效液相色谱Kapok CalyxMangiferinmicroscopic identificationT

职业教育课程教学设计的“五化”原则

[摘要]课程是教育和教学活动的载体，是实现教育目的和培养目标的重要手段。职业教育课程的教学设计，应当围绕高素质高技能型专问人才的培养目标，遵循“学习目标能力化、学习任务项目化、学习情境职场化、学习资源立体化、学习评价过程化”的“五化”原则，凸显以岗位工作过程为导向、以职业能力培养为主线、“项目驱动”“任务引领”“行动导向”“教学做一体”等特点，积极促进学生岗位适应能力、技术实践能力及应用创新能力的

期刊

职业教育课程设计“五化”原则

体育类非遗项目石锁运动在金坛地区的发展与传承研究

运用文献资料法和访谈法,从发展和传承的视角,论述武术功法运动的形成,以金坛地区石锁为例,石锁是中国传统的民间体育项目,同时也是古代练功器材。进入二十一世纪以后,全民健

期刊

武术功法石锁传统体育石锁协会children basic motor skillsintervention researchTGMD test

日本那须地区人工草地牧草生物量随时间变化的解析——Ⅰ 地上生物量

为了揭示草地生态系统的现存生物量随时间的变化规律与气候条件和人为干扰(放牧压，施肥量等)之间的关系，从1974年开始至1994年，每年的4月至11月，在位于日本中部那须地区的国立草

期刊

地上现存生物量放牧压力放牧草场长期实验施肥量aboveground biomassgrazing intensitygrazing pasture

山路守“隧”人

【正】国道111线贯穿怀柔南北,连接首都北京、河北北部与内蒙古东部,是实现京津冀一体化的重要公路交通线路。随着经济的发展和北京市路政局的不断投资改造,这条路变宽了,路

期刊

京津冀一体化通行安全交通线路保障设施河北北部内蒙古东部照明系统隧道长度管护员改建工

广西5个收费站停止收费

日前，广西公路局召开了2013年全区公路工作会议。据悉．今年广西将新开工和建成一批路网项目．继续实施千村通畅工程．力争到2017年．二级以上公路超过14万公里．实现100％乡镇和建制村通

期刊

收费站广西公路工作公路局公里