基于UML2.0模型的测试与验证方法



基于UML2.0模型的测试与验证方法

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

基于UML2.0模型的测试与验证方法

论文目录
作者简介	第1-4页
摘要	第4-6页
ABSTRACT	第6-8页
目录	第8-10页
第一章绪论	第10-22页
· 研究背景与意义	第10-11页
· 形式化方法	第11-13页
· 时序逻辑	第13-14页
· 基于模型的测试	第14-15页
· 相关研究工作与本文研究目的	第15-19页
· 相关研究工作	第15-19页
· 本文研究目的	第19页
· 论文的主要工作与组织结构	第19-22页
第二章 UML2.0序列图的形式化描述	第22-40页
· 序列图定义	第22-26页
· UML2.0序列图的新特征	第22-23页
· 序列图的语法	第23-25页
· 序列图中单个对象的形式化定义	第25-26页
· 序列图的语义	第26页
· 序列图的有穷状态自动机模型	第26-35页
· 自动机基本理论	第26-27页
· 事件确定有限自动机ETDFA	第27-28页
· ETDFA的构造	第28-35页
· 应用实例	第35-39页
· 小结	第39-40页
第三章基于UML2.0序列图的形式化验证	第40-50页
· 命题投影时序逻辑	第40-41页
· 语法	第40页
· 语义	第40-41页
· 基于序列图的验证方法	第41-45页
· 性质描述	第42-43页
· Buchi自动机	第43-44页
· 验证方法	第44-45页
· 应用实例	第45-47页
· 小结	第47-50页
第四章基于自动机的测试用例生成方法	第50-62页
· 自动机的合成	第50-54页
· 复合自动机	第50页
· 合成规则	第50-54页
· 测试用例生成	第54-56页
· 覆盖准则	第54-55页
· 测试场景的生成	第55页
· 用例描述	第55页
· 测试用例的生成	第55-56页
· 应用实例	第56-59页
· 小结	第59-62页
第五章分布式软件系统交互行为的建模、验证与测试	第62-76页
· 分布式软件系统交互行为的建模与验证	第62-68页
· 状态机图定义	第62-63页
· 交互行为建模	第63-68页
· 交互行为验证	第68页
· 分布式软件系统测试框架	第68-70页
· 分布式软件测试框架	第68-69页
· 测试用例的生成	第69-70页
· 应用实例	第70-74页
· 小结	第74-76页
第六章序列图的形式化建模环境	第76-84页
· UML建模工具	第76-78页
· 序列图建模环境	第78-80页
· 序列图到自动机模型的转换工具设计	第78-79页
· 序列图到自动机模型的转换工具实现	第79-80页
· 应用实例	第80-83页
· 小结	第83-84页
第七章总结与展望	第84-88页
· 论文总结	第84-85页
· 未来的研究工作	第85-88页
致谢	第88-90页
参考文献	第90-98页
攻读博士学位期间的研究成果	第98 页

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

更多论文
基于UML2.0模型的测试与验证方法
后量子安全的格公钥密码设计
eSTREAM候选算法的安全性研究
认知无线电中频谱感知策略的研究
高性能片上网络关键技术研究
SOI SiGe HBT性能与结构设计研究
基于AC-DC开关电源系统的电磁兼容设
航空燃油柱塞泵运动学与动力学特性
复杂粒子对任意入射高斯波束散射的
光干涉法检测光学非球面面形研究
置换流水车间调度问题的几种智能算
MIMO雷达参数估计算法研究
企业家社会资本与企业成长关系研究
一种带编码的无源无线声表面波压力
基于人工免疫系统的偏好多目标优化
极速学习理论与应用研究
稀疏贝叶斯学习理论及应用研究
多智能双足机器人的动作控制及协作
基于人工免疫系统的多策略入侵检测
安全网络接口模块的硬件设计
基于深度学习和信息增益的否定选择
网络入侵检测系统研究
网格环境下的任务调度策略研究
VPN设备若干安全性及性能的测试工具
基于人工免疫系统的自动聚类算法及
Surfacelet变换在视频处理中的应用
基于粗糙集的模糊聚类及其图像分割
基于Contourlet的图像去噪方法研究
自然图像的自适应压缩感知
二维三维图像中压缩效应及高光效应
视频图像中目标距离估计的研究
蚁群算法及其在网络优化中的应用研
基于稀疏模型的高精度光流估计方法
高速DSP的电视图像跟踪系统的设计与
基于小波变换与非下采样Contourlet
面向智能信息检索：集成支撑矢量机
基于视频分析的足球越位自动判别相
基于鲁棒流形学习的人脸识别
场景文本图像的三维矫正方法研究
基于运动平滑性约束的摄像机参数优
基于视觉信息特征和机器学习的人体
Petri网可视化工具的设计及仿真
统计学习图像去噪方法研究
基于3D技术的目标模拟软件的研究
基于规范切的Memetic图像分割方法
寿命周期成本分析系统的设计与实现
基于B/S结构的税务日常考核系统的设
基于图形处理单元的时频域矩量法并
基于图的半监督维数约减算法研究及
智能机器人的视频处理与运动物体跟
基于多视角几何的图像修复算法研究
X/CT影像中病变区域检测方法研究
基于非局部约束和样例学习的图像复
去雾算法及其在车牌检测中的应用研
基于QTP的税收征管信息系统自动化测
校园网流量监控系统研究与实现
基于区域划分的自然图像去噪方法
基于超完备字典稀疏表示的图像融合
陕西省煤炭生产企业增值税监控管理
赤杆菌来源HSL家族酯酶的酶学表征与
基于压缩感知的图像重构算法研究
分布式异构数据库同步中间件的设计
基于共享内存用于存储VLR的数据库的
通用打印驱动研究及打印来源追溯系
塞来昔布联合奥沙利铂对人结肠癌HC
耐有机溶剂脂肪酶高活性菌株选育、
Web2.0时代的网络交往研究--以豆瓣
烟滤棒成型设备开松机构的工艺参数
长江中下游地区猪繁殖与呼吸综合征
单/双基地极化干涉SAR信号建模、检
一种基于UKF的地球卫星自主导航算法

UML2.0序列图论文命题投影时序逻辑论文基于模型的测试模型检测论文
版权申明：目录由用户lsk**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved