基于本体的Web服务测试生成与变异测试研究
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
软件工程论文
基于本体的Web服务测试生成与变异测试研究
论文目录
摘要
第1-4 页
Abstract
第4-8 页
第1章 引言
第8-20 页
· 论文背景及意义
第8-10 页
· 研究现状分析
第10-18 页
· 本体与语义Web
第10-12 页
· 语义Web 服务
第12-15 页
· Web 服务测试
第15-16 页
· 测试充分性准则
第16-18 页
· 论文的主要内容
第18-19 页
· 论文的章节安排
第19-20 页
第2章 基于本体的测试模型
第20-28 页
· 本章引论
第20 页
· 测试本体模型TOM 的定义
第20-24 页
· 数据池(Data Pool)
第22 页
· 数据分区(Data Partition)
第22-23 页
· 数据实例(Data Value)
第23 页
· 数据选取(Data Selector)
第23-24 页
· 测试模型TOM 的管理与共享
第24-27 页
· TOM 的组织结构
第24 页
· TOM 的元模型定义
第24-25 页
· 建立TOM 模型的阶段
第25-26 页
· 一个TOM 模型的例子
第26-27 页
· 本章小结
第27-28 页
第3章 基于本体的WEB 服务测试数据自动生成
第28-54 页
· 本章引论
第28 页
· 分区测试概念
第28-29 页
· AMAZON 的AAWS 服务案例
第29-32 页
· 基于本体的测试数据生成步骤
第32-33 页
· 数据池的领域本体映射
第33 页
· 基于本体的数据分区生成
第33-42 页
· 标识子类
第34-38 页
· 等价类分析
第38-39 页
· 子类的层次结构分析
第39-40 页
· 数据分区自动生成
第40-41 页
· 有效与无效数据分区
第41-42 页
· 基于预定义数据的数据实例生成
第42-43 页
· 基于属性取值组合的数据实例生成
第43-47 页
· 属性取值的组合策略
第43-45 页
· 组合数据的一致性检查
第45-46 页
· 数据实例的自动分类与化简
第46-47 页
· 测试数据的完整性与一致性检查
第47-48 页
· 测试模型内部的检查
第47 页
· 测试模型外部的检查
第47-48 页
· 应用案例
第48-53 页
· 本章小结
第53-54 页
第4章 基于本体的 WEB 服务变异测试
第54-71 页
· 本章引论
第54 页
· 基于本体的变异测试框架
第54-56 页
· 变异算子设计准则
第56 页
· 变异算子分类
第56 页
· OWL 本体类的变异
第56-64 页
· 等价类定义的变异
第58-59 页
· 互斥类定义的变异
第59-61 页
· 复杂类定义的变异
第61-63 页
· 枚举类定义的变异
第63-64 页
· 数据类型的变异
第64-65 页
· 条件变异
第65-66 页
· 控制流变异
第66 页
· 数据依赖变异
第66-67 页
· 应用案例
第67-70 页
· 本章小结
第70-71 页
第5章 原型系统SOATESTING 的设计与实现
第71-85 页
· 本章引论
第71 页
· 体系结构
第71-76 页
· OWL-S 服务规约分析与查看
第72-73 页
· TOM 模型的API 实现
第73-74 页
· 测试数据生成与编辑
第74 页
· 测试用例生成与编辑
第74-75 页
· 完整性与一致性规则编辑和检查
第75 页
· 变异体生成和变异测试的执行与分析
第75-76 页
· 支撑平台介绍
第76-77 页
· Eclipse
第76 页
· Jena2
第76 页
· OWL-S API
第76 页
· Pellet
第76-77 页
· Protégé
第77 页
· Jess
第77 页
· 设计与实现
第77-84 页
· SOATesing 包
第78-80 页
· mtest.testmodel 包
第80-81 页
· mtest.mutation 包
第81-82 页
· mtest.owl.model 包
第82-83 页
· mtest.simulation 包
第83 页
· eclipse.ui 包
第83-84 页
· 本章小结
第84-85 页
第6章 结论与展望
第85-87 页
· 本文研究工作总结
第85-86 页
· 展望
第86-87 页
参考文献
第87-93 页
致谢
第93-94 页
个人简历、在学期间发表的学术论文与研究成果
第94页
本篇论文共
94
页,
点击这进入下载页面
。
更多论文
基于本体的Web服务测试生成与变异测
同名排歧方法研究及其应用
基于DVD-Download标准的按需制造系
基于结构光扫描的椎弓根多区域组合
一种基于内容的抗共谋攻击视频水印
异构网络的概率图建模及其在检索中
PIS系统综合网管动态报表功能的实现
PIS综合网管中的告警管理
RBAC模型的一种动态参数化的实例化
红外摄像呼吸监测系统设计与研制
基于分子印迹光子晶体水凝胶传感器
用于SPR生物传感器的微流体系统设计
外型、任务及文化对人与机器人交互
基于多指标综合评价的指挥自动化信
传统文化资源在雕塑语言中的转化--
韩国廣州白瓷和中国德化白瓷之比较
电子射野影像装置在患者剂量验证方
独立准直器调强治疗计划设计与执行
主动呼吸控制技术在肺癌放射治疗中
MVCBCT影像质量及应用其图像进行剂
基于一次开箱不合格和平均无故障时
基于磁流变阻尼器的半主动振动控制
基于硅烷的自组装分子膜摩擦学性能
来舟车站能力分析与加强
考虑混合交通影响的城镇道路路段养
燃料电池汽车异步电机控制方法的研
水权管理制度中政府管理职能及模式
深埋引水隧洞高水头渗流场模拟系统
大跨径尾水岔洞开挖与衬砌稳定分析
水电站地下厂房洞室群施工监测反馈
水电工程利用建筑物开挖石渣制备混
新保利大厦非对称多塔连体结构动力
都江堰破碎站防护工程的研究与设计
北京银泰中心工程钢—混凝土组合楼
国家体育场清水砼双向斜柱模板体系
气泡混凝土吸水降温性能的实验研究
砌体结构抗震鉴定和加固设计CAD系统
PFC3D模拟颗粒堆积体的空隙特性初步
水泥基材料单一裂缝表面流体流动规
大空间火灾接触式感烟探测仿真研究
与剪力墙连接的现浇钢筋混凝土空心
作为媒介的建筑:建筑的表达与再表
北京市第一道绿化隔离地区规划反思
传统公共园林文化传承的规划设计方
北京市廉租房建筑单体设计研究
建筑工程项目施工工期与资源配置研
洋山三期大型钢管桩试桩及大型钢管
适用于各向异性导电胶和导电膜的导
电阻抗的脉冲测量系统及其应用
嘧啶类液晶的合成与性质研究
甲烷部分氧化制合成气Cr
2
砷、硒、锑、锡元素的分析方法及仪
高温细晶压电陶瓷钪酸铋钛酸铅的制
以石油渣油为原料制备多孔炭及其性
重油催化裂化气体分馏装置的工艺模
外加剂对纤维增强水泥基复合材料性
退火温度对金属薄膜残余应力和机械
一种锻造操作机的机构分析及其虚拟
复杂结构零件切削过程物理仿真与工
分布式牺牲阳极对混凝土中钢筋的阴
电脑机壳钣金件在模具开发过程中的
环境和职业健康安全整合体系的因素
对给定直径的图按谱半径排序
Cu-Al和Pd-Ti系统多体势的构建及在
我国现今地壳运动特征与地心坐标参
GPS在水下地形测量中的研究与应用
开河期冰盖体断裂机理及开河判别准
工程担保机构的风险管理研究
安阳市房地产开发政策实施中的问题
突发事件对零售企业顾客购买行为的
奖励推荐计划对口碑接收者购买可能
搜索引擎用户点击行为研究
不同情绪智力水平下领导风格和团队
电子市场中的长尾现象:利基产品和
框架效应和投资组合选择
计量经济学模型变量选择与设定的理
票市场波动率实证分析及相关交易策
基于退休框架下最优消费和投资决策
国际原油价格变动和航空公司套期保
不定二次分式规划在投资决策模型中
偿付能力限制下的保险公司最优控制
促超排卵疗程中的药物剂量优化
基于马尔科夫过程的网络交易单积分
宏观与微观相结合的股票定价方法研
近似动态规划在供应链生产环节风险
基于委托代理理论的物流外包激励机
基于时空度量策略的车辆路径问题算
多项目环境下工程设计项目资源配置
基于信息不对称的住房二级市场信息
承包企业适度规模经营研究
建筑业农民工安全教育培训问题分析
建设用地供给对城市增长的作用机理
PPP项目绩效评价研究
基于不同项目采购模式的设计施工分
测试模型论文
测试生成论文
变异测试论文
语义Web服务论文
本体
版权申明
:目录由用户
yangs**
提供,
www.51papers.com
仅收录目录,作者需要删除这篇论文目录
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved