学位论文 > 优秀研究生学位论文题录展示

非齐次泊松过程类软件可靠性增长模型的研究与应用

作 者: 杨雪
导 师: 桑楠
学 校: 电子科技大学
专 业: 计算机应用技术
关键词: 软件可靠性测评 非齐次泊松过程类软件可靠性增长模型 排错延迟 测评工具
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 241次
引 用: 4次
阅 读: 论文下载
 

内容摘要


随着计算机技术的发展,软件产品已经渗透到人类生活的各个领域,在各种复杂的设备和系统中都有计算机在执行系统控制、状态监测等关键任务。因此,如何对软件质量进行有效的控制成为了人们越来越关注的问题。软件可靠性指标是软件质量属性中最重要的内容之一,它定量地描述了软件在开发和使用过程中出现的失效。准确地评估软件系统的可靠性、预测软件可靠性随测试过程的变化情况能为软件发布和测试资源的分配提供依据,使软件既能按计划准时发布,又能满足用户的可靠性需求,降低软件的总成本。非齐次泊松过程类软件可靠性增长模型是软件可靠性模型中非常重要的一类,已经成为软件可靠性工程实践中非常成功的工具,是目前评价软件可靠性最适用、最简单的模型。如何提高非齐次泊松过程类软件可靠性增长模型的评估和预测精度是当前软件可靠性工程研究的热点之一。本文围绕软件可靠性测试与评价技术在以下两个方面做了重点研究:1)提出了一个故障排除时间随故障发生时间变化的非齐次泊松过程模型。本文首先假设完美调试是可接受的(基于完全回归测试),但是即时的故障排除不可接受。然后从软件测试的实际情况出发,研究了故障排除时间随故障发生时间的变化规律。随着测试的进行,越晚被发现的软件故障,被定位和修改的难度越大,排除需要的时间就越长,则故障修复率应该是测试时间的减函数。本文在研究此规律的基础上提出了一种基于该变化规律的ID-NHPP排错延迟模型,并用测试数据对该模型进行了验证。结果表明该模型具有更强的描述和预测能力。2)应用上述理论研究,构建了一个嵌入式软件可靠性测试与评估工具(ESRTE)。ESRTE是一个集成化的可靠性测试系统,集成了软件可靠性使用模型的建模、可靠性测试用例自动生成与管理、测试进程的执行和跟踪、以及可靠性评价和预测等功能。针对传统的软件测评工具功能单一、自动化程度不高等缺陷,ESRTE努力提供一个完整、自动化的可靠性测评环境。

全文目录


摘要  4-5
ABSTRACT  5-10
第一章 绪论  10-17
  1.1 课题背景  10-11
  1.2 国内外研究动态  11-15
    1.2.1 软件可靠性研究的发展及现状  11-14
    1.2.2 软件可靠性研究面临的主要问题  14-15
  1.3 论文主要研究内容  15
  1.4 论文章节安排  15-17
第二章 软件可靠性测评相关理论研究  17-41
  2.1 软件可靠性的基本概念  17-21
    2.1.1 软件故障及其特征  17-18
    2.1.2 软件可靠性定义  18
    2.1.3 软件可靠性的度量  18-20
    2.1.4 软件可靠性工程  20-21
  2.2 软件可靠性测试  21-35
    2.2.1 软件测试  21-25
    2.2.2 软件可靠性测试  25-26
    2.2.3 两种主要的软件可靠性测试方法  26-35
  2.3 软件可靠性评估  35-39
    2.3.1 基于软件可靠性建模的评估过程  35-36
    2.3.2 可靠性建模的一般过程  36-37
    2.3.3 软件可靠性模型  37-38
    2.3.4 软件可靠性模型的分类  38-39
  2.4 小结  39-41
第三章 非齐次泊松过程类软件可靠性增长模型及其改进  41-48
  3.1 非齐次泊松过程的定义  41-42
  3.2 含故障排除率的NHPP 可靠性模型框架  42-43
  3.3 G-O 模型  43-44
  3.4 Daniel R. Jeske 的 D-NHPP 模型  44
  3.5 一种改进的ID-NHPP 模型  44-47
    3.5.1 改进的ID-NHPP 模型的推导  44-45
    3.5.2 参数估计和模型比较  45-47
  3.6 小结  47-48
第四章 嵌入式系统软件测试  48-52
  4.1 嵌入式系统的定义  48
  4.2 嵌入式系统的特点  48-49
  4.3 嵌入式软件的开发  49
  4.4 嵌入式软件的测试  49-50
    4.4.1 嵌入式软件测试的困难  49-50
    4.4.2 嵌入式软件测试的策略  50
  4.5 嵌入式软件的可靠性测试  50-51
  4.6 小结  51-52
第五章 嵌入式软件可靠性测试与评估工具  52-72
  5.1 目前主流的嵌入式软件可靠性工具  52-54
  5.2 ESRTE 系统框架结构  54-56
  5.3 ESRTE 系统的主流程  56-57
  5.4 马尔可夫使用模型编辑模块  57-63
    5.4.1 主要数据结构  57-62
    5.4.2 试运行图  62-63
  5.5 测试用例生成模块  63-68
    5.5.1 测试用例生成算法  63-64
    5.5.2 XML 测试用例生成向导  64-68
  5.6 测试用例驱动模块  68-70
    5.6.1 测试用例程序生成器  68-69
    5.6.2 测试网关  69
    5.6.3 测试结果比较器  69-70
  5.7 测试代理  70
  5.8 可靠性评估模块  70-71
  5.9 小结  71-72
第六章 结束语  72-74
  6.1 成果与创新  72
  6.2 不足与展望  72-74
参考文献  74-77
致谢  77-78
攻硕期间的研究成果及发表的学术论文  78-79
附录1 实时控制系统实效数据(单位:秒)  79-80
附录2 AT&T的T系统数据(单位:小时)  80-81

相似论文

  1. 软件可信性增长测试用例生成方法的研究,TP311.53
  2. 基于NHPP的软件可靠性模型研究与应用,TP311.52
  3. 制造业管理胜任力模型构建及测评工具开发,F224
  4. 自律可信系统模型及评价研究,TP311.52
  5. 行政执法类公务员甄选模式再造研究,D630.3
  6. 中学生科学素养测评工具研究,G633.98
  7. 实用性门诊患者满意度测评工具的修订,R197.3
  8. 大学英语写作测评工具的应用与评价,H319
  9. 护士人文关怀品质测评工具的构建研究,R47
  10. 小学生科学素养测评工具的研究,G623.6
  11. 化学批判性思维测评工具的编制及应用研究,G633.8
  12. 癌症患者自我管理效能感水平的横断面研究及其影响因素分析,R473.73
  13. 医学生信息素养标准化测评工具的研究与实践,G434
  14. 达梦数据库管理系统安全等级测评工具开发,TP311.13
  15. 基于WinCE平台的故障分析仪应用程序设计与开发,TP311.52
  16. 面向SMDA的服务建模方法及工具实现,TP311.52
  17. 面向软件的故障注入工具的研究与实现,TP311.52
  18. 异构环境下企业互操作技术及在物资供应链系统中的应用,TP311.52
  19. 基于特征的软构件建模方法及其在VMI管理系统中的应用,TP311.52
  20. 光电对抗试验系统软件平台开发,TP311.52
  21. 电力负荷管理终端测试装置软件系统研制,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com