登录    注册    忘记密码

中国航天科技集团公司软件评测中心 收藏

导出分析报告

研究主题:软件测试    软件工程    软件可靠性测试    软件可靠性分析    星载软件    

研究学科:自动化类    航空航天类    经济学类    

被引量:69H指数:4EI: 1 北大核心: 10 CSCD: 12

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

38 条 记 录,以下是 1-10

软件FMEA实例研究
1
《航天控制》中国航天科技集团公司软件评测中心 石柱 马宽 郑重  出版年:2010
国防科技工业局民用航天科研预先研究项目
软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行...
关键词:软件失效模式和影响分析  软件可靠性  软件可靠性分析
场景法在系统测试用例设计中的应用
2
《计算机工程与设计》航天软件评测中心;北京邮电大学信息与通信工程学院 盛晓娟 贾丽娟 姬鹏超  出版年:2016
将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型...
关键词:场景法  背景图 临时限速服务器  系统测试  用例设计
软件可靠性度量实例研究 ( EI收录)
3
《系统工程与电子技术》中国航天科技集团公司软件评测中心 石柱 郑重  出版年:2011
国防科技工业局民用航天科研预先研究项目(B2120080307)资助课题
为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并...
关键词:软件可靠性  软件度量  软件可靠性评价  
基于UML状态图的软件测试充分性准则研究
4
《计算机技术与发展》中国航天系统科学与工程研究院软件工程研究部;中国航天科技集团公司软件评测中心 杨志伟 吴兵  出版年:2013
国家自然科学基金资助项目(91118007)
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图...
关键词:UML状态图 软件测试 充分性准则  
软件故障树分析实例研究
5
《航天控制》中国航天科技集团公司软件评测中心 石柱 郑重  出版年:2014
国防科技工业局民用航天科研预先研究项目资助课题(B2120080307)
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该...
关键词:软件可靠性  软件可靠性分析 软件故障树分析  
嵌入式系统测试的发展
6
《单片机与嵌入式系统应用》航天软件评测中心 张建伟 叶东升  出版年:2011
目前,我国的嵌入式系统测试技术处于起步时期的快速发展阶段,本土厂商自主研发的产品拥有良好的应用前景。本文围绕嵌入式系统测试的概念、应用领域和国内发展状况进行了综合阐述。
关键词:嵌入式系统测试  软件测试 故障注入  
星载软件可靠性工程研究与实践
7
《计算机与数字工程》中国航天科技集团公司软件评测中心 郑重 石柱  出版年:2013
国防科技工业局民用航天科研预先研究项目(编号:B2120080307)资助
为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析...
关键词:软件可靠性工程 软件可靠性设计 软件可靠性分析 软件可靠性度量 软件可靠性测试
星载软件可靠性测试实践
8
《计算机工程与设计》中国航天科技集团公司软件评测中心 石柱 郑重  出版年:2013
民用航天科研预先研究基金项目(B2120080307)
为验证和评估软件可靠性水平,阐述了开展软件可靠性测试的方法和过程,针对星载嵌入式软件的特点,介绍了进行软件可靠性测试的关键步骤的实现途径和方法,包括:失效的定义、测试环境的搭建、使用剖面的构造、测试过程的执行以及失效数据...
关键词:星载嵌入式软件  软件可靠性  软件可靠性测试 软件可靠性评估 使用剖面
微分代数系统的数值仿真算法
9
《计算机工程与设计》航天软件评测中心 宋晓秋  出版年:2000
国家自然科学基金!(批准号:19871080)
介绍了微分代数系统DAE的基本概念及仿真算法,特别指出了用BDF方法求解高指标常系数线性DAE系统时的数值稳定性缺陷。最后,针对飞行器轨道约束实时控制问题,给出了3阶收敛的代数约束算法。
关键词:微分代数系统 线性常系数  数值仿真 算法  
软件工程与软件可靠性 第一讲 软件工程的基本原则
10
《质量与可靠性》航天软件评测中心 汤铭端  出版年:2001
随着高新武器技术装备和计算机技术的不断发展,计算机软件已成为型号工程的重要组成部分,而且型号工程软件的规模、复杂度、质量要求越来越高,软件的质量与可靠性已成为型号工程质量与可靠性的关键。为满足高新技术武器装备型号软件在质...
关键词:软件工程 软件可靠性  基本原则  软件开发模型
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心