石柱

作品数：14被引量：30H指数：3
导出分析报告
供职机构：中国航天更多>>
发文主题：星载软件软件可靠性分析软件可靠性测试软件可靠性度量可靠性更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《航天控制》《计算机工程与设计》《计算机与数字工程》《计算机工程与应用》更多>>
所获基金：国防科技工业局民用航天科研预先研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于信息流的关键软件缺陷定位技术
《载人航天》2016年第5期635-640,共6页周东红 石柱 王瑞 李沫 
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对...
关键词：软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖 
星载软件可靠性仿真测试环境研究
《计算机与数字工程》2016年第2期281-285,共5页郑重 石柱 
国防科技工业局民用航天科研预先研究项目(编号:B2120080307)资助
软件可靠性测试是验证和评估软件可靠性水平的重要方法,要求软件运行环境的真实性,因此,测试环境的建立是进行可靠性测试的难点,也是决定测试结果正确性的关键因素。论文阐述了针对某星载嵌入式软件可靠性测试环境的设计,包括测试平台...
关键词：星载软件 软件可靠性测试 测试环境 
软件故障树分析实例研究被引量：4
《航天控制》2014年第6期67-70,87,共5页石柱 郑重 
国防科技工业局民用航天科研预先研究项目资助课题(B2120080307)
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
关键词：软件可靠性 软件可靠性分析 软件故障树分析 
基于信息流缺陷定位方法在软件测试中的应用
《计算机与数字工程》2014年第8期1440-1447,共8页周东红 石柱 王瑞 
随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术...
关键词：软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖 
星载软件可靠性工程研究与实践被引量：4
《计算机与数字工程》2013年第8期1273-1276,共4页郑重 石柱 
国防科技工业局民用航天科研预先研究项目(编号:B2120080307)资助
为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析...
关键词：软件可靠性工程 软件可靠性设计 软件可靠性分析 软件可靠性度量 软件可靠性测试 
星载软件可靠性模型应用研究及实践
《计算机工程与应用》2013年第7期52-54,共3页石柱 郑重 
国防科技工业局民用航天科研预先研究项目(No.B2120080307)
为定量评估软件的可靠性指标,介绍了利用软件可靠性模型评估软件可靠性的过程和方法;针对某星载嵌入式软件的失效趋势,根据模型的选择原则和方法,以及模型的预测质量的对比,最终选择了指数模型作为可靠性评估模型。对该软件在轨运行情...
关键词：软件可靠性 软件可靠性评估 软件可靠性模型 
星载软件可靠性测试实践被引量：3
《计算机工程与设计》2013年第2期721-724,共4页石柱 郑重 
民用航天科研预先研究基金项目(B2120080307)
为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据...
关键词：星载嵌入式软件 软件可靠性 软件可靠性测试 软件可靠性评估 使用剖面 
软件可靠性度量实例研究被引量：8
《系统工程与电子技术》2011年第1期233-236,共4页石柱 郑重 
国防科技工业局民用航天科研预先研究项目(B2120080307)资助课题
为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详...
关键词：软件可靠性 软件度量 软件可靠性评价 
软件FMEA实例研究被引量：10
《航天控制》2010年第2期75-78,83,共5页石柱 马宽 郑重 
国防科技工业局民用航天科研预先研究项目
软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类...
关键词：软件失效模式和影响分析 软件可靠性 软件可靠性分析 
应用UML建模航天测试数据库需求的过程被引量：1
《航天控制》2008年第4期48-52,56,共6页刘德勇 石柱 刘国明 
为有效地将面向对象方法及相应建模技术在航天软件应用中工程化,本文通过航天测试数据库开发实例,阐述了运用UML对面向对象软件进行需求定义和需求分析的过程。以该需求展开的设计及实现在型号试验中得到较好的验证,同时此过程方法对其...
关键词：统一建模语言 面对对象方法 需求开发 数据库 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部