面向并发系统的测试约简技术的研究与应用



面向并发系统的测试约简技术的研究与应用

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

面向并发系统的测试约简技术的研究与应用

论文目录
摘要	第3-5页
ABSTRACT	第5-9页
1 绪论	第9-18页
1.1 课题研究的背景及意义	第9-10页
1.2 国内外研究现状	第10-16页
1.2.1 回归测试的研究现状	第10-13页
1.2.2 测试约简技术的研究现状	第13-14页
1.2.3 测试数据生成技术	第14-15页
1.2.4 并发系统及在测试约简中的特点	第15-16页
1.3 本文的研究内容	第16页
1.4 本文组织结构	第16-18页
2 并发系统状态空间约简技术	第18-29页
2.1 并发系统约简存在问题	第19-23页
2.1.1 依赖不可传递性问题	第19-20页
2.1.2 传递依赖保持的并发系统建模	第20-23页
2.2 并发系统的偏序约简	第23-28页
2.2.1 偏序约简技术	第24-25页
2.2.2 偏序约简算法	第25-28页
2.3 总结	第28-29页
3 基于模式匹配的测试路径选择技术	第29-40页
3.1 面向结构的切片	第29-34页
3.1.1 切片路径的生成	第31-34页
3.2 模式的分类	第34-36页
3.2.1 原始匹配	第35页
3.2.2 点序列一致匹配	第35页
3.2.3 边序列一致匹配	第35页
3.2.4 偏序一致匹配	第35-36页
3.3 模式的匹配	第36-39页
3.3.1 结构的分类	第36-37页
3.3.2 匹配的类型	第37-39页
3.4 总结	第39-40页
4 面向匹配路径的测试数据生成	第40-50页
4.1 测试数据的生成	第40-43页
4.1.1 逻辑表达式可满足性求解	第40-42页
4.1.2 基于Z3的测试数据生成	第42-43页
4.2 面向并发系统的测试约简技术	第43-48页
4.2.1 基本路径的生成算法	第43-44页
4.2.2 切片路径的生成算法	第44-45页
4.2.3 路径匹配算法	第45-47页
4.2.4 面向结构的测试数据生成算法	第47-48页
4.3 总结	第48-50页
5 基于模式匹配的测试平台设计与实现	第50-71页
5.1 系统简介	第50-57页
5.1.1 主要功能	第50-51页
5.1.2 软件结构	第51-53页
5.1.3 输入、处理、输出	第53-57页
5.2 系统实现	第57-65页
5.3 实例分析	第65-70页
5.4 总结	第70-71页
总结与展望	第71-72页
参考文献	第72-75页
附录	第75-84页
附录1构建控制流图	第75-78页
附录2求所得路径的逻辑表达式	第78-84页
致谢	第84-85页
攻读学位期间发表和已录用的学术论文	第85页
攻读学位期间参加的科研项目	第85-86页

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

更多论文
面向并发系统的测试约简技术的研究
深海海洋要素垂直剖面实时测量系统
Li₂MnSiO₄纳
安丘市盛大农产品市场电子交易平台
基于ABAQUS的汽车夹层玻璃受冰雹冲
平衡计分卡视角下的企业绿色绩效分
某金矿井下中央变电所供配电系统优
钢材生产中线材飞剪控制的研究
电火花沉积脉冲电源的改进及仿真分
车架纵梁冲裁工艺改进及数值模拟
高炉渣余热催化裂解废旧轮胎实验研
半集中式分质污水处理系统生产性应
以剩余污泥胞外聚合物为处理对象的
泥膜复合强化污水生物脱氮技术应用
旧建筑材料在空间设计中的再利用
基于邻域粗糙集与随机森林组合分类
基于全寿命周期的高铁项目风险管理
注浆加固技术在青岛地铁不良地质地
青岛港转型发展研究——以青岛老港
汽车用大容积液化天然气气瓶研发
双叉臂前悬架系统的优化设计
我国上市公司财务舞弊审计失败研究
基于EVA的中国重汽济南卡车股份有限
超大型玻璃钢管道施工技术研究
青岛市某旧城区改造项目的相关问题
环境心理学视角下的老年社区空间可
多级地震作用下剪力墙结构的多模态
青岛某基坑工程支护方案优选设计与
楼宇智能化在商业大厦的应用——以
对某建筑主体结构检测评估及其加固
业主视角下BIM技术在项目施工过程中
平原新区总体规划方案研究综合论述
集装箱建筑的设计与应用研究
基于在地研究的“美丽乡村”景观设
青岛市某小区建设项目工程经济分析
集成冷站系统设计要点研究
青岛城市供水深度处理工程的研究
高层建筑智能升降平台施工技术研究
立法视野下的青岛老城区园林风貌保
中国北方乡村现代化建设的公共空间
海岸带保护视角下的滨海公园规划设
中国传统建筑美学对现代建筑的影响
绿色建筑景观设计研究
现代农业生态观光园中的低碳景观设
潍坊市X区天鹅湾别墅区园林景观工程
建筑工程材料管理研究
基于某会议中心钢结构工程质量管理
绿色建筑技术在硅谷大厦项目上的应
青岛地区太阳能—土壤源热泵系统的
关于降低220MW机组锅炉制粉系统耗电
通感在视觉传达设计中的应用与研究
基于Internet的网络考试系统
开源软件集的演进和架构：Debian的
基于荧光猝灭原理的溶解氧浓度传感
PPP模式下我国保障性住房风险研究
城市公共PFI项目的风险管理研究
房地产市场小户型住宅研究——以北
基于复杂网络的中国航空网络研究
离心机转鼓用奥氏体不锈钢应力腐蚀

回归测试论文并发程序论文切片技术论文面向结构论文测试约简论文
版权申明：目录由用户tu**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved