软件可靠性验证测试中降低测试用例量方法研究



软件可靠性验证测试中降低测试用例量方法研究

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

软件可靠性验证测试中降低测试用例量方法研究

论文目录
摘要	第1-4 页
Abstract	第4-7 页
1 绪论	第7-14 页
· 概述	第7-8 页
· 研究动机及意义	第8-9 页
· 国内外研究的现状	第9-11 页
· 软件可靠性技术的发展现状	第9-10 页
· 软件可靠性验证测试的研究现状	第10-11 页
· 本文的主要研究内容和组织结构	第11-14 页
2 软件可靠性相关理论及技术	第14-19 页
· 可信性与可靠性的关系	第14-15 页
· 软件可靠性基本知识	第15-16 页
· 软件可靠性定义	第15 页
· 软件可靠性度量指标	第15-16 页
· 软件可靠性测试	第16-18 页
· 软件可靠性测试涵义及一般过程	第16-17 页
· 软件可靠性测试的分类	第17-18 页
· 软件可靠性增长测试	第17-18 页
· 软件可靠性验证测试	第18 页
· 本章小结	第18-19 页
3 软件可靠性测试用例产生方法	第19-30 页
· 基于软件运行剖面的可靠性测试用例产生方法	第19-21 页
· 软件运行剖面的概念	第19 页
· 软件运行剖面的构造方法	第19-20 页
· 软件测试用例的生成	第20-21 页
· 基于马尔科夫链使用模型的可靠性测试用例产生方法	第21-29 页
· 马尔科夫链使用模型	第21-22 页
· 马尔科夫使用链构建	第22-26 页
· 基于使用链产生测试用例和测试链	第26-27 页
· 基于测试链的软件可靠性验证测试方法的缺陷	第27-29 页
· 测试链到使用链的收敛	第27-28 页
· 使用测试链到使用链收敛准则的缺陷	第28-29 页
· 本章小结	第29-30 页
4 基于先验贝叶斯统计学的可靠性验证测试方法	第30-45 页
· 软件运行方式建模	第30 页
· 离散执行软件模型	第30 页
· 连续执行软件模型	第30 页
· 先验贝叶斯模型	第30-32 页
· 先验贝叶斯统计学在软件可靠性验证中的必要性	第30-31 页
· 先验贝叶斯理论基本思想	第31 页
· 先验贝叶斯模型	第31-32 页
· 贝叶斯模型中先验分布的选取方法	第32-40 页
· 基于共轭方法的先验分布选取	第32-35 页
· 离散执行软件的共轭先验分布选取	第32-34 页
· 连续执行软件共轭先验分布的选取	第34-35 页
· 基于先验矩的超参数计算	第35-38 页
· 基于共轭最大熵的超参数计算	第38-40 页
· 基于ML-II理论的先验分布优选	第40-43 页
· 本章小结	第43-45 页
5 基于先验贝叶斯统计学可靠性验证测试方法的仿真计算	第45-62 页
· 软件可靠性验证测试框架与可靠性指标设定	第45-46 页
· 仿真计算结果分析与比较	第46-61 页
· 基于无先验知识贝叶斯方法仿真实验结果分析	第46-51 页
· 离散执行软件仿真计算结果	第46-48 页
· 连续执行软件仿真计算结果	第48-51 页
· 基于先验矩方法的贝叶斯仿真实验结果及分析比较	第51-56 页
· 基于共轭最大熵方法的贝叶斯仿真实验结果及分析比较	第56-60 页
· 基于ML-II的先验分布优选计算及分析比较	第60-61 页
· 本章小结	第61-62 页
6 总结与展望	第62-63 页
致谢	第63-64 页
参考文献	第64-67 页

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

更多论文
软件可靠性验证测试中降低测试用例
同流中热水浮射流的数值模拟及试验
丹参对铜诱导肝损伤的保护作用
面向体育新闻领域的中文简单名词短
基于泥沙运动理论的潼关站含沙量过
农业知识推送模型及向量特征项提取
抗共谋攻击数字指纹系统的研究
深覆盖层地基高面板堆石坝应力变形
时间序列非线性分析及其应用
基于嵌入式软硬件的火炮器材仓库信
昼夜温差对碾压混凝土重力坝温度和
烟草赤星病对烟叶化学成分的影响及
多光谱融合前端图像实时降噪处理系
高水头电站垫层式蜗壳结构特性分析
基于支持向量机的化学农药QSAR建模
微光与红外视频融合系统的图像处理
空腔结构颈缩式预应力闸墩体型优化
永州市烟草主要土传病害综合防治技
视频序列中运动物体分割的研究
钢闸门面板弹塑性极限承载力研究
湖南省水稻施肥技术指标体系的建立
非刚性医学图像配准方法的研究与实
土工织物加筋地基及加筋桩基的三维
稻米外观品质性状快速检测系统的研
人脸检测方法研究与系统实现
混凝土变形缝中双组分水溶性聚氨酯
不同叶面肥处理对烟叶品质的影响研
炉口火焰图像信息用于转炉炼钢终点
基于偏最小二乘回归的混凝土坝变形
烤烟中游离氨基酸的分析技术研究及
基于Vega的红外目标仿真研究
溢洪道挑流鼻坎温度场与温度应力仿
基于XML的数据管理技术的研究
保山腾冲烤烟新品种适应性对比试验
移栽期对永州烤烟产质量影响的研究
改进的蚁群算法在OKP企业物流调度中
基于博弈分析的石羊河流域水资源配
不同育苗方式对烤烟烟苗素质及生长
基于图像处理的MTF测试系统研究
高拱坝表孔对坝体应力分布的影响研
内生菌降低烟草TSNA研究
彩色图像中人脸检测与跟踪研究
动态贝叶斯网络在水文预报中的应用
一株铜绿假单胞菌在水稻体内的定殖
视频图像中文本定位与提取的方法研
土石坝沥青混凝土面板质量控制和风
德宏州芳香型香料烟施肥和调制技术
模块化班组支援武器建模与仿真
水轮机调节系统仿真与参数辨识
湖南地区水稻抗寒剂的筛选
某轻型迫击炮全炮动力学仿真分析
含沙量过程不确定性预报系统模型研
新田烤烟生产关键施肥技术研究
基于斑点追踪技术的心脏超声成像应
水力机组无线振动监测及支持向量机
中棉所63不同果枝纤维品质研究
斑马鱼肌间骨的自动提取
贺50A（B）及其所配杂交组合主要性
基于小波变换的鲁棒性水印研究
基于均匀设计的边坡稳定性分析
数据挖掘技术在高校教学模型中的应
腾冲低河谷热区红大品种夏烟早植移
密封间隙对混流式水轮机稳定性影响
数据挖掘在燃气系统中的应用研究

可信软件论文软件可靠性验证测试论文先验矩论文最大熵论文
版权申明：目录由用户wht87**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved