学位论文 > 优秀研究生学位论文题录展示
软件可信度量模型设计与工具实现
作 者: 张乐文
导 师: 陈仪香
学 校: 华东师范大学
专 业: 计算机软件与理论
关键词: 软件可信度量模型 蒙特卡洛方法 稳定性 java工具开发 软件可信分级 回归分析
分类号: TP311.52
类 型: 硕士论文
年 份: 2013年
下 载: 15次
引 用: 0次
阅 读: 论文下载
内容摘要
当今世界随着网络的迅速扩张和网络社会的逐步崛起,软件的规模越来越大,然故障和错误却越来越频发,这些错误往往会引发巨大的经济损失。正因如此,软件的可信性问题越来越受到人们关注。软件的可信性度量是反映软件品质以及产品竞争力的重要指标,也是软件可信基础研究的核心内容。软件的可信性可以分解为影响软件可信性的属性,然后逐层细化这些属性直至可以直接度量的度量元。那么软件可信度量的工作就转化为求出度量元的可信度、确定如何综合这些度量元成为属性可信度和软件可信度、确定属性和度量元的权重、如何设计和开发工具。本论文围绕这几方面做了以下工作:一、在已有的对软件可信度量计算模型的研究基础上,新增了对稳定性的研究。稳定性保证了软件可信评估值在所有属性可信评估值的范围之内。我们修改了模型使其不仅满足之前提出的单调性、凝聚性、灵敏性、替代性,更满足我们新提出的稳定性。二、在JAVA平台上设计并实现了一个软件可信度量的工具,该工具可以让用户自己配置需要度量的属性和过程,允许用户自定义度量元的评估方法,自定义需要使用的度量计算模型。该工具还可以通过导入专家对各属性及度量元关键程度的打分来求得度量计算模型所需要的各参数。三、基于软件出厂报告评审,给出了软件可信分级方法和可信度量计算模型参数计算的方法,从而使得整个软件度量在软件出厂报告评审这一阶段有了系统的理论和技术支撑。
|
全文目录
摘要 6-7 ABSTRACT 7-11 第一章 引言 11-17 1.1 研究背景和意义 11 1.2 软件可信度量模型与工具研究现状 11-14 1.3 主要贡献 14-15 1.4 论文结构 15-17 第二章 可信度量计算模型 17-27 2.1 软件可信度量模型的仿真与分析 17-18 2.2 稳定性与模型的修改 18-20 2.3 模型的证明与分析 20-25 2.4 新模型的仿真 25-26 2.5 小结 26-27 第三章 软件可信度量工具设计与实现 27-37 3.1 主要模块 27-31 3.2 数据存储结构 31-32 3.3 主要算法 32-34 3.4 工具界面和使用说明 34-36 3.5 小结 36-37 第四章 软件出厂报告的软件可信度量 37-49 4.1 软件出厂报告评审 37-38 4.2 可信分级方法 38-43 4.3 权重专家打分 43-47 4.4 工具及仿真案例 47-48 4.5 小结 48-49 第五章 总结与展望 49-50 附录A 攻读硕士学位时发表论文和科研情况 50-51 附录B 出厂评审报告评审内容关键程度评价表 51-52 参考文献 52-56 后记 56
|
相似论文
- 自变量分段连续型随机微分方程数值解的收敛性及稳定性,O211.63
- 具有变截面臂架的格构式起重机结构计算分析方法研究,TH21
- 开关磁阻发电机供电系统仿真分析,TM31
- 分导飞行器多模型自适应控制,TP273.2
- 离散非线性系统输入到状态稳定性研究,TP13
- 壳聚糖季铵盐金属配合物的热稳定性研究,O634
- 氯代甲氧基脂肪酸甲酯的合成及应用研究,TQ414.8
- 高产色素红曲菌株的选育及所产色素性质的研究,TS202.3
- 复杂布尔网络稳定性问题的研究,O157.5
- 渗流对尾矿坝稳定性影响的分析,TV649
- 辣椒碱/环糊精体系的表征及性能研究,TQ450.1
- 无铅玻璃粉的制备及性能研究,TQ171.6
- 鹿血酒的制备、毒理学安全性及稳定性评价,TS262.91
- 烤烟打叶复烤片烟结构稳定性评价,TS443
- 长期不同种植模式下东北黑土理化性状和有机碳稳定性的差异研究,S153
- 连续种植超级稻对土壤有机碳含量及团聚体稳定性的影响,S511
- 青少年学生自评亚健康状况的随访研究,B844.2
- 我国残奥乒乓球运动员注意特征研究,G846
- 二羧酸金属有机骨架材料的合成、结构及性质研究,O621.13
- 重组毕赤酵母遗传稳定性的研究及其表达产物猪α干扰素的分离与纯化,S828
- 情绪对视觉工作记忆表征稳定性的影响,B842.3
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|