教育论文网

基于图形转换的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