核电软件单元测试用例集约简研究
硕士博士毕业论文站内搜索
全站论文库
硕士博士论文库
普通期刊论文库
分类:
教育论文网
→工业技术论文→
自动化技术、计算机技术论文
→
计算技术、计算机技术论文
→
计算机软件论文
→
程序设计、软件工程论文
→
软件工程论文
核电软件单元测试用例集约简研究
论文目录
摘要
第1-6页
ABSTRACT
第6-7页
插图索引
第7-8页
附表索引
第8-9页
第一章 绪论
第9-15页
1.1 研究意义与背景
第9-10页
1.2 国内外研究现状和发展动态
第10-13页
1.2.1 软件测试的发展及现状
第10-12页
1.2.2 测试用例集约简方法发展及现状
第12-13页
1.3 本文主要内容
第13页
1.4 论文的组织结构
第13-15页
第二章 相关基础理论知识
第15-27页
2.1 软件测试理论
第15-23页
2.1.1 软件测试模型与过程
第15-17页
2.1.2 软件单元测试方法
第17-19页
2.1.3 测试用例集约简
第19-21页
2.1.4 软件单元测试工具
第21-23页
2.2 似然不变量技术
第23-24页
2.3 变异测试原理
第24-26页
2.3.1 变异测试基本概念
第24-25页
2.3.2 变异测试工具
第25-26页
2.4 小结
第26-27页
第三章 基于 Daikon 与 C++Test 结合的测试用例集约简
第27-35页
3.1 不变量提取工具 Daikon 工作原理
第27-28页
3.2 基于似然不变量的测试用例集约简
第28-31页
3.3 基于变异测试的评估原理
第31-32页
3.4 实验环境及配置
第32-33页
3.5 实验及结果分析
第33-34页
3.6 小结
第34-35页
第四章 SGBC 核电软件单元测试及用例集约简
第35-55页
4.1 SGBC 软件测试总述
第35-37页
4.2 SGBC 源码静态测试
第37-38页
4.3 SGBC 单元测试设计
第38-46页
4.3.1 SGBC 软件单元测试需求
第38-39页
4.3.2 SGBC 软件单元测试方法策略
第39-42页
4.3.3 基于基本路径集的单元测试用例设计
第42-43页
4.3.4 基于似然不变量的测试用例集约简应用
第43页
4.3.5 实例分析
第43-46页
4.4 测试结果分析
第46-54页
4.4.1 基于 C++Test 的单元测试环境配置
第46-47页
4.4.2 静态测试结果
第47-48页
4.4.3 单元测试结果
第48-54页
4.5 小结
第54-55页
第五章 总结和展望
第55-57页
5.1 工作总结
第55页
5.2 工作展望
第55-57页
参考文献
第57-61页
成果目录
第61-62页
致谢
第62页
本篇论文共
62
页,
点击这进入下载页面
。
更多论文
核电软件单元测试用例集约简研究
无砟轨道线下工程沉降观测与评估技
基于局部连续性的核电软件测试研究
列车对双块式无砟轨道竖向动力特性
基于OSDG切片的核电程序理解
高速铁路道岔精测及数据处理方法研
基于综合模型的核电程序理解
路基下桩网复合地基桩土应力比分析
可配置编译工具的设计与实现
自行式焊轨车线上焊施工技术与标准
CRTS Ⅰ型板式无砟轨道原型疲劳试验
MES能源监测管理系统研究与设计
列车与水耦合作用下双块式无砟轨道
数据挖掘在政府部门决策管理系统中
CRTS Ⅱ型板式无砟轨道抬板维修方案
摩擦自激振动引起波状磨耗的试验研
基于达芬奇技术的医学图像虚拟外翻
捣固车自动作业控制系统设计与实现
目标轮廓整合的视觉皮层神经计算机
杭长客运专线覆盖型岩溶路基注浆加
基于ARM11的视频监控图像采集与处理
基于动力分析的重载铁路平面圆曲线
炉口火焰图像相关特征提取与碳含量
锚杆支挡结构极限状态设计方法研究
基于CENTRIST特征的港口环境行人检
基于振动信号的高速道岔伤损识别研
基于计算机视觉技术的熏烤肉安全检
桥上CRTSⅡ型板式轨道假缝开裂及其
基于VFW的移动目标检测及软件实现
基于三维线路模型的高速铁路圆曲线
基于uClinux和DSP的单目导盲系统应
基于轨检车数据的铁路曲线整正计算
基于学习的退化图像复原算法研究
基于向量有限元的轮轨接触问题研究
视频中运动目标的轮廓跟踪与识别
轮轨低粘着与增粘措施试验研究
基于语音识别技术的中文语音路名查
高速道岔振动信号端点检测与失真识
T型桥梁施工荷载对高铁路基影响的现
中低速磁悬浮试运线路基轨道梁结构
基于概率有限元的钢轨接触表面可靠
基于内容的音频检索特征提取技术研
地铁轨道波浪形磨耗检测系统研究
DES加密IP的优化设计
岩溶地区铁路选线风险评估研究
基于卡尔曼滤波的组合测量及其在轨
考虑防灾救援的困难艰险山区高速铁
基于改善轮轨接触状态的重载车轮型
基于负载的一体化逻辑承载网构建方
基于PSD的运行列车轮轨安全作用关系
重载铁路轨枕受力特性分析与参数优
核电软件论文
单元测试论文
C++Test论文
测试用例集约简论文
Daikon论文
版权申明
:目录由用户
lsc05**
提供,
www.51papers.com
仅收录目录,作者需要删除这篇论文目录
请点击这里
。
|
设为首页
||
加入收藏
||
站内搜索引擎
||
站点地图
||
在线购卡
|
版权所有
教育论文网
Copyright(C) All Rights Reserved