登录    注册    忘记密码

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

导出分析报告

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

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

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

-

检索结果分析

署名顺序

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

34 条 记 录,以下是 1-10

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

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