基于图形转换的UML模型验证与测试
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
软件工程论文
基于图形转换的UML模型验证与测试
论文目录
摘要
第1-6 页
Abstract
第6-10 页
第1章 绪论
第10-17 页
· 选题背景和意义
第10-12 页
· 相关研究
第12-14 页
· 本文研究内容
第14-15 页
· 本章小结以及本文结构
第15-17 页
第2章 UML验证与测试概述
第17-30 页
· UML基础
第17-24 页
· UML主要特点
第17-19 页
· UML的语法和语义
第19-20 页
· UML建模机制
第20-24 页
· UML模型的一致性问题
第24-25 页
· 产生一致性问题的原因
第24-25 页
· UML问题一致性分类
第25 页
· UML的测试方法
第25-28 页
· UML测试阶段与方法
第26-27 页
· UML测试过程与Q问题
第27-28 页
· 本章小节
第28-30 页
第3章 UML中间聚合模型的生成
第30-44 页
· 设计目标和总体设计
第30-31 页
· 设计目标
第30 页
· 总体设计
第30-31 页
· UML静态结构一致性验证
第31-34 页
· 中间聚合模型的生成
第34-43 页
· 由顺序图构造有向图DG
第35-41 页
· 扩展类结构ECS的生成
第41-42 页
· 中间聚合模型MAM的生成
第42-43 页
· 本章小节
第43-44 页
第4章 中间聚合模型的测试
第44-57 页
· 测试路径的生成
第44-46 页
· 测试用例自动生成
第46-53 页
· 遗传算法的计算方法
第47-48 页
· 应用遗传算法自动生成测试用例
第48-50 页
· 适应度函数以及GA相关算子的确定
第50-53 页
· 测试的执行
第53-56 页
· 本章小节
第56-57 页
第5章 模型测试工具UPT的设计与实现
第57-70 页
· UPT的系统结构
第57-62 页
· 自动柜员机取款应用实例
第62-69 页
· 本章小节
第69-70 页
第6章 总结和展望
第70-72 页
· 工作总结
第70-71 页
· 研究展望
第71-72 页
参考文献
第72-75 页
致谢
第75-76 页
研究生履历
第76 页
本篇论文共
76
页,
点击这进入下载页面
。
更多论文
基于图形转换的UML模型验证与测试
狂犬病病毒感染N2a细胞蛋白质组学研
Cu-TCNQ薄膜的制备、形态及性质研究
牛结核分枝杆菌Cfp10-Esat6的融合表
2型猪链球菌胞壁蛋白免疫蛋白组学研
GUI软件自动化测试工具的开发研究
基于光内送粉的激光熔覆快速成形技
TLR2基因多态性及其与奶牛乳房炎的
基于PLC晶圆自动贴标机控制系统的研
阿维菌素抗炎作用及作用机制的研究
JUnit框架的改进及其应用研究
环形激光作用下同轴送粉熔覆工艺参
猫细小病毒分离鉴定及马抗猫瘟特异
船舶分油机虚拟装配系统的研究
整体叶轮逆向制造过程中的关键技术
牛Catsper1、ACTG2基因遗传变异分析
基于Web的仿真系统关键技术研究及应
大肠杆菌表达的牛亚洲Ⅰ型FMDV多表
非开挖市政道路施工钻孔泥屑气力输
神经营养素(NT)-4/5在母猪生殖器
基于KPCA的人脸识别中核函数参数的
NEFA、BHBA和GLU对体外培养牛肝细胞
离心离合器和离心夹具技术体系构建
英语学习的需求研究与产品原型设计
不同脂肪源对朗德鹅产肝性能及FAS
基于时频分析的轴承故障自动检测方
猪蓝耳病病毒抗体双抗原夹心ELISA方
基于单PC机的轮机仿真系统的研究和
玉米赤霉烯酮单克隆抗体的制备及EL
重金属镉单克隆抗体制备及ELISA检测
基于ADAMS的Zero-Max型无级变速器的
船舶中速柴油机数学建模与可视化仿
三聚氰胺单克隆抗体制备及其在ELIS
E型电磁轴承控制技术的研究
航海模拟器中基于GPU的雨的实时渲染
基于eM-Plant干式变压器生产作业车
猪O型口蹄疫病毒B和T表位重组蛋白的
冠心病中医诊疗临床数据的仓储和挖
没食子单体化合物分离鉴定及其药理
基于神经网络的铰链四杆机构复演轨
语义网服务框架WSMO中Choreography
W375型液力变矩器匹配及优化
基于感性工学的产品交互体验设计的
基于C8051注汽式油井干度测量装置的
节理裂隙岩体隧道爆破技术研究
云南万家口子水电站九子崩滑堆积体
全息校正望远镜主镜像差的机理及实
模糊方法在Web服务工作流系统中应用
随机参数结构随机特征值分析
UML论文
一致性检验论文
模型测试论文
OCL论文
版权申明
:目录由用户
liusi**
提供,
www.51papers.com
仅收录目录,作者需要删除这篇论文目录
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved