论文部分内容阅读
介绍了Nelson模型及修改的条件/判定覆盖的基本概念,提出用Nelson模型来估计软件模块可靠性,依据修改的条件/判定覆盖划分数据输入域.最终依据模块可靠性算出系统可靠性.
基于MC/DC的软件模块可靠性估计
【摘 要】
：
介绍了Nelson模型及修改的条件/判定覆盖的基本概念,提出用Nelson模型来估计软件模块可靠性,依据修改的条件/判定覆盖划分数据输入域.最终依据模块可靠性算出系统可靠性.
【出 处】
：
微型机与应用
【发表日期】
：
2004年期
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
抽象思维和形象思维是人类最主要的两种智能形式,因此基于这二种思维形式的智能混合系统成为目前广义人工智能领域内的一个重要研究方向.本文对其研究背景与意义、研究现状与
给出一个支持CACD开发的系统组件平台.该平台引入了组件化的反射中间件技术,利用其内省与自适应的特性,充分支持了该平台的实现.