中国航天科技集团公司软件评测中心
- 作品数：34 被引量：65H指数：4
- 相关作者：杨桂枝宋晓秋孙凤丽杨隽杨磊更多>>
- 相关机构：中华人民共和国工业和信息化部中国电子技术标准化研究院上海宝信软件股份有限公司更多>>
- 发文基金：国防科技工业局民用航天科研预先研究项目国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术理学经济管理更多>>
- 基于状态分析的软件测试设计
- 2000年
- 1.引言 目前航天软件测试经常遇到的一个问题是:测试时间短,但被测软件的可靠性和安全性要求高。这就要求测试人员提高测试效率,用尽量少的测试用例达到尽可能高的测试覆盖。 结合故障检测处理系统的测试实践,针对一类实时嵌入式软件,作者提出了一种基于状态分析的软件测试设计方法,本文为作者对这一方法的总结。
- 周新蕾缪峥红
- 关键词：航天软件软件测试
- PSP在军用软件第三方测试中的应用
- PSP(个体软件过程)是专门为个人而开发的软件过程模型,它提出了为达到CMM的关键目标而需要的具体技能和方法,有助于在CMM的框架下改善个人软件过程.在军用软件第三方评测机构中,CMM的思想已经获得了广泛推广,而针对测试...
- 杨彬陈丽容
- 关键词：个体软件过程能力成熟度模型军用软件软件测试
- 文献传递
- 场景法在系统测试用例设计中的应用被引量：6
- 2016年
- 将场景法运用于临时限速服务器(temporary speed restriction server,TSRS)系统测试中,通过对TSRS系统限速命令的设置和取消流程进行场景划分,绘制出基于数据配置的背景图确定限速命令类型,通过对用例个数进行优化,设计出测试用例。质量审计及认证审查结果表明,使用该方法设计的用例保证了测试的充分性和有效性。验证的测试用例设计方法已在其它产品的系统测试中得以推广和应用,提高了系统测试的效率和效果,为保证软件产品质量发挥了作用。
- 盛晓娟贾丽娟姬鹏超
- 关键词：背景图用例设计
- 软件可靠性度量实例研究被引量：8
- 2011年
- 为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。
- 石柱郑重
- 软件维修性的定量评估研究被引量：1
- 2001年
- 首先阐述了软件维修性的概念和内涵，并对软件维修性的定量评估方法进行了理论研究，针对４个软件维修性度量模型进行了实验分析。
- 宋晓秋
- 关键词：软件维护
- 软件审查方法及应用被引量：2
- 1999年
- 介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。
- 石柱周新雷缪峥红
- 软件FMEA实例研究被引量：10
- 2010年
- 软件FMEA(失效模式和影响分析)是硬件或系统FMEA的扩展,并应用于安全关键软件的鉴定,但是,目前缺乏应用经验。本文阐述了SFMEA的原理、实施过程和要点,提出了适用于某嵌入式软件的失效模式及原因,对失效模式的影响进行了严酷度等级分类,给出了对该软件实施SFMEA的过程和结果。结果表明了SFMEA的有效性和实用性。
- 石柱马宽郑重
- 关键词：软件可靠性分析
- CAN总线驱动软件的测试设计及实现被引量：2
- 2012年
- 本文通过对CAN的特点和CAN总线驱动软件测试的特点进行分析,提出了CAN总线驱动软件的测试设计方案,该方案覆盖了测试的全过程,包括测试内容选取、测试环境搭建、测试用例设计、测试驱动编写,以及测试用例执行。此外还介绍了在具有15个节点的CAN总线网络环境中进行CAN驱动软件测试的实践过程。
- 孙凤丽杨桂枝周博杨隽
- 关键词：CANCAN总线
- 安全性关键软件的可靠性测试与安全性分析
- 一、引言载人航天系统中大量嵌入式计算机的使用使得越来越多的软件已成为系统中的关键部件.软件可靠性要求大大提高.如何进行软件可靠性测试和安全性分析.从而正确地估计软件产品的可靠性和安全性已成为一个迫切需要解决的问题。
- 缪峥红周新蕾
- 关键词：计算机应用软件可靠性测试软件安全性分析
- 文献传递
- 计算机软件需求规格说明规范
- 本标准给出了软件需求规格说明(SRS)的编制要求，描述了一份好的SRS的内容和质量，并在附录A中给出一些SRS提纲示例。 本标准适用于编制SRS。 本标准并不限定任何编制SRS特定的方法、命名约定和工具。
- 关键词：计算机软件
- 文献传递
