基于HFSM模型的测试方案生成研究



基于HFSM模型的测试方案生成研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

基于HFSM模型的测试方案生成研究

论文目录
摘要	第1-5页
Abstract	第5-8页
第1章绪论	第8-14页
· 研究背景及意义	第8-9页
· 研究现状	第9-11页
· 主要研究内容	第11页
· 章节组织结构	第11-14页
第2章测试方案生成系统总体架构	第14-20页
· 测试方案生成系统需求分析	第14页
· 系统总体架构	第14-17页
· HFSM 绘制模块	第16页
· HFSM 信息提取模块	第16页
· HFSM 合法性检查模块	第16页
· 测试方案生成模块	第16-17页
· 测试方案输出模块	第17页
· 管理模块	第17页
· 基于 FSM 模型的测试方案生成概述	第17-19页
· 有限状态机模型	第17-18页
· 主要测试方案生成算法	第18-19页
· 本章小结	第19-20页
第3章测试方案生成模块设计	第20-34页
· 测试方案生成模块结构	第20-21页
· 基于集合覆盖的 Wp 方法优化	第21-30页
· W 方法	第21-22页
· Wp 方法	第22-24页
· Wp 方法的优化	第24-30页
· 基于集合覆盖的 UIO 方法优化	第30-32页
· UIO 方法	第30-32页
· UIO 方法的优化	第32页
· 本章小结	第32-34页
第4章测试方案生成相关子模块设计	第34-48页
· HFSM 信息读取子模块	第34-40页
· 功能描述	第34页
· 实现方法与流程	第34-40页
· HFSM 信息处理子模块	第40-42页
· 功能描述	第40-41页
· 实现方法与流程	第41-42页
· FSM 模型测试序列生成子模块	第42-44页
· 功能描述	第42页
· 实现方法与流程	第42-44页
· 测试方案整合子模块	第44-46页
· 功能描述	第44-45页
· 实现方法与流程	第45-46页
· 测试方案输出子模块	第46-47页
· 功能描述	第46页
· 实现方法与流程	第46-47页
· 本章小结	第47-48页
第5章系统实现与数据分析	第48-58页
· 运行环境	第48页
· 模块实现	第48-50页
· 模块运行	第50-56页
· 约简功能执行效果	第56-57页
· 本章小结	第57-58页
总结与展望	第58-60页
参考文献	第60-64页
攻读硕士学位期间所发表的学术论文	第64-66页
致谢	第66页

本篇论文共66页，点击这进入下载页面。

更多论文
基于HFSM模型的测试方案生成研究
基于HFSM模型的描述检测系统设计与
移动多媒体广播路测仪开发与实现
基于白名单机制的安全办公系统的设
支持多终端HTML资源生成的PDF转化系
多源数据融合的目标跟踪方法研究
3D虚拟现实技术在商业活动策划中的
基于最近邻子空间搜索的文本分类算
基于SOA架构的电子产品在线销售系统
基于主题模型的中文文本分类相关技
北工大耿丹学院教务管理系统的设计
小区资源管理与调度系统的设计与实
模型驱动的ETC系统仿真测试方法的研
基于显著性分析的三维人脸检索方法
基于物联网燃气仪表数据采集与管理
基于Kinect人体识别技术的虚拟现实
模型驱动的领域建模与仿真验证平台
基站开通调度系统的设计与实现
基于流形学习方法的中文文本分类研
采油厂井下作业系统的设计与实现
交互式台球考评系统的设计及运用
基于矩阵分解的协同过滤算法的并行
3ds max材质制作技术自主学习系统开
基于动态污点分析的SQL注入攻击检测
创业板上市公司并购业绩承诺的经济
信用卡综合业务系统短信子系统的设
客票实名制应用平台智能分析子系统
3D数字技术在中国传统写意山水动画
彩色眼底图像中视杯识别算法研究
基于ASP.NET的电子商务实训平台的设
大型有限元计算结果快速可视化方法
手机测试动态场景实时构建技术的研
基于OpenStack的资源调度算法研究
基于JBPM的移动资源管理系统的设计
基于分析稀疏模型的图像压缩方法的
基于心理物理的中医舌色感知量化研
基于视觉注意的图像检索技术研究
数据仓库与数据挖掘技术在高校招生
深度图像的填充与点云数据的优化
基于四叉树的实时动态LOD地形可视化
基于LAMP和Groundwork的IT监控管理
大屏幕集中控制系统设计与实现
数字皮影动画动作描述方法的研究与
基于Cortex-M3的通用嵌入式开发板设
智能车辆管理系统的设计与实现
CT医学图像金属伪影去除算法研究
消防车建模与仿真系统的研究与实现
基于人工标定的智能交通参数算法评
基于软件行为的可信性度量模型的研
基于视线仿真的座席排布及优化方法
人民银行票据印制管理系统的设计与
基于正交矩原始值的激光焊点检测法
基于Kerberos的Web应用系统的认证系
基于数字签名的UEFI BIOS安全更新机
扩频水印序列的研究及数字水印开发
Map/Reduce型海量数据处理平台中作
基于SyncML的云安全数据同步技术研
数字技术对视频色彩明度控制的设计
基于信任关系的协同过滤推荐技术研

系统测试论文有限状态机论文分层有限状态机论文
版权申明：目录由用户gubein**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved