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

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

【摘要】

：

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

【作者】

：

萨智海王俊义

【机构】

：

内蒙古大学计算机学院

【出处】

：

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

【发表日期】

：

2005年5期

【关键词】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

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

其他文献

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

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

期刊

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

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

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

期刊

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

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

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

期刊

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

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

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

期刊

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

山路守“隧”人

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

期刊

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

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

其他学术论文