体系架构筹划师—体系架构筹划篇—软件可靠性

软件可靠性的界说

软件可靠性（Software Reliability）是软件产物在规定的条件下和规定的时间区间完成规定功能的本领。
软硬件可靠性的差别点：

• 复杂性
  
  
  
  • 软件失效大概性大于硬件
    
  
  
• 物理退化
  
  
  
  • 硬件有物理退化，软件没有
    
  
  
• 唯一性
  
  
  
  • 软件唯一，硬件不唯一
    
  
  
• 版本更新快
  
  
  
  • 软件更新比硬件快
    
  
  

软件可靠性定量形貌

可靠度

软件规定的条件下、规定的时间内不发生失效的概率
失效强度

单位时间软件体系出现失效的概率
匀称失效前时间

Mean Time To Failure，MTTF：从t=0时，到故障发生时，体系的连续运行时间的渴望值，不包罗老化失效。
匀称规复前时间

Mean TIme To Restoration，MTTR：从出现故障到修复乐成的一段时间。
匀称故障隔断时间

Mean Time Between Failures，MTBF：失效或维护中所需的匀称时间，包罗故障时间以及检测和维护装备的时间。
MTBF = MTTF + MTTR

可靠性测试

广义的可靠性测试

为了终极评价软件体系的可靠性而运用建模、统计、实验、分析和评价等一系列本领对软件体系实行的一种测试。

狭义的可靠性测试

为了获取可靠性数据，按预先确定的测试用例，在软件的预期利用情况中，对软件实行的一种测试。
可靠性测试的目标

• 发现软件体系的缺陷
  
  
  • 需求分析
    
  • 软件筹划
    
  • 体系编码
    
  • 测试实行
    
  
  
• 为软件的利用和维护提供可靠性依据
  
• 确认软件是否到达可靠性的定量要求
  

影响软件可靠性的因素

• 运行情况
  
• 软件规模
  
• 软件的内部布局
  
• 软件的开辟方法和开辟情况
  
• 软件的可靠性投入
  

软件可靠性的建模方法

可靠性模子的构成

• 模子的假设
  
  
  • 代表性假设
    
  • 独立性假设
    
  • 类似性假设
    
  
  
• 性能度量
  
• 参数估计方法
  
• 数据要求
  

好的可靠性模子

• 基于可靠的假设
  
• 简朴
  
• 盘算一些有效的量
  
• 给出未来失效活动的好的映射
  
• 可广泛应用
  

可靠性模子分类

模子特点种子法模子预先在步调中播种错误“种子”，根据测试找堕落误以及估计残留错误数量。失服从类模子用来研究步调的失服从。曲线拟合类模子用回归分析的方法研究软件复杂性、步调中的缺陷数、失服从、失效隔断时间，包罗参数方法和非参数方法两种。可靠性增长模子推测软件在检错过程中的可靠性改进，用增长函数来形貌软件的改进过程。步调布局分析模子根据步调、子步调及其相互间的调用关系，形成一个可靠性分析网络。输入域分类模子选取软件输入域中的某些样本“点”运行步调，根据这些样本点在“现实”利用情况中的利用概率的测试运行时的乐成/失服从，推断软件的利用可靠性。实行路径分析方法模子先盘算步调各逻辑路径的实行概率和步调中错误路径的实行概率，再综合出该软件的利用可靠性。非其次泊松过程模子以软件测试过程中单位时间的失效次数为独立泊松随机变量，来推测在以后软件的某种利用时间点的累计失效数。马尔科夫过程模子用于推测未来的数据模子。贝叶斯分析模子利用失服从的试验前分布和当前的测试失效信息，来评估软件的可靠性。软件可靠性管理

需求分析阶段

分析目标，订定框架、规范、筹划。

• 确定软件的可靠性目标。
  
• 分析大概影响可靠性的因素。
  
• 确定可靠性的验收标准。
  
• 订定可靠性管理框架。
  
• 订定可靠性文档编写规范。
  
• 订定可靠性活动开端筹划。
  
• 订定可靠性数据网络规范。
  

概要筹划阶段

确定度量，订定验收方案，网络数据，调解筹划。

• 确定可靠性度量
  
• 订定具体的可靠性验收方案
  
• 调解可靠性活动筹划。
  
• 网络可靠性数据
  
• 明确后续阶段的可靠性活动的具体筹划。
  
• 体例可靠性文档。
  

具体筹划阶段

筹划、推测，网络数据，调解筹划。

• 可靠性筹划
  
• 可靠性推测（确定可靠性度量估计值）
  
• 调解可靠性活动筹划。
  
• 网络可靠性数据
  
• 明确后续阶段的可靠性活动的具体筹划。
  
• 体例可靠性文档。
  

编码阶段

测试、排错，网络数据，调解筹划。

• 可靠性测试（单位测试）
  
• 排错
  
• 调解可靠性活动筹划。
  
• 网络可靠性数据
  
• 明确后续阶段的可靠性活动的具体筹划。
  
• 体例可靠性文档。
  

测试阶段

测试、排错，建模、评价，网络数据，调解筹划。

• 可靠性测试（集成测试、体系测试）
  
• 排错
  
• 可靠性建模
  
• 可靠性评价
  
• 调解可靠性活动筹划。
  
• 网络可靠性数据
  
• 明确后续阶段的可靠性活动的具体筹划。
  
• 体例可靠性文档。
  

实行阶段

验收、排错，网络数据，调解筹划。

• 可靠性测试（验收测试）
  
• 排错
  
• 调解可靠性活动筹划。
  
• 网络可靠性数据
  
• 明确后续阶段的可靠性活动的具体筹划。
  
• 体例可靠性文档。
  

容错技能

• 规复块筹划
  
• N版本步调筹划
  
• 冗余筹划
  

N版本步调筹划

多版本步调，类似的输入，表决效果，少数服从多数。
前向规复：表决，选取精确效果，制止错误。

规复块筹划

主块测试不及格时，调用备用块验证，直到通过测试。

冗余筹划

重新积极别辟流派，创建一套完全差别的体系，冗余筹划。
检错技能

• 检错对象
  
• 检错延时
  
• 实现方式
  
• 处置惩罚方式
  

体系设置技能

• 双机热备
  
  
  
  • A服务器是工作状态
    
  • B服务器是监控准备状态
    
  • 告急应用运行于主机，备机做备用。
    
  
  
• 双机互备
  
  
  
  • A服务器是工作状态A
    
  • B服务器是工作状态B
    
  • 部门应用运行于主机，部门应用运行于备机。
    
  
  
• 双机双工
  
  
  
  • A、B服务器都是工作状态
    
  • 两台呆板同时运行应用。
    
  
  

软件可靠性测试

• 可靠性目标简直定
  
• 运行剖面的开辟
  
• 测试用例的筹划
  
• 测试实行
  
• 测试效果分析
  
• 进度、资本
  

测试陈诉的内容：

• 软件产物标识
  
• 测试情况设置（软件和硬件）
  
• 测试依据
  
• 测试题目
  
• 测试效果
  
• 测试时间
  

软件可靠性评价

可靠性评价过程

选择可靠性模子

• 模子假设的实用性
  
• 推测的本领与质量
  
• 模子输出值能否满意可靠性评价需求
  
• 模子利用的轻便性
  

网络可靠性数据

• 尽早确定可靠性模子
  
• 订定命据网络筹划
  
• 器重测试产生的数据
  
• 利用数据库分析
  

可靠性评估和推测

• 评估和推测依靠于可靠性模子