张卫民

作品数：16被引量：24H指数：3
导出分析报告
供职机构：北京航天飞行控制中心更多>>
发文主题：软件测试操作概图过程管理航天测控软件开发更多>>
发文领域：自动化与计算机技术航空宇航科学技术一般工业技术社会学更多>>
发文期刊：《载人航天》《计算机工程》《计算机集成制造系统》《飞行器测控学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
产品开发安全性能力成熟度模型被引量：1
《载人航天》2011年第3期48-53,共6页张卫民 贾山刚 
产品开发安全性能力成熟度模型是为了评价和改进组织提供安全关键产品的能力而开发的一种成熟度模型。在介绍组成安全性能力成熟度模型的两个过程域的基础上,给出了改进组织开发安全关键产品能力的安全性特定实践;讨论了安全性能力成熟...
关键词：安全性 安全性能力成熟度模型 产品开发能力成熟度模型 过程改进 
修正的条件/判定覆盖分析工具评估与选择
《载人航天》2009年第3期40-43,53,共5页张卫民 孙军 
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个...
关键词：修正的条件/判定覆盖 覆盖分析工具 工具评估 
几种特定判定形式的MC／DC评估分析被引量：1
《飞行器测控学报》2008年第4期56-60,共5页张卫民 陈宏敏 
介绍了对几种特殊形式的判定进行修正的条件／判定覆盖评估分析的方法。这些形式包括比较运算判定、带短路逻辑的判定、顺序if结构、位运算判定、带反馈判定和带屏蔽判定。
关键词：修正的条件/判定覆盖(MC/DC) 条件 判定 软件测试 MC/DC分析 
一种扩展的顺序迭代过程分析模型
《计算机工程》2008年第6期273-275,共3页张卫民 周伯生 罗文劼 
提出一种扩展的顺序迭代过程分析模型,包含的返工影响因子参数考虑了迭代对单个任务返工量的影响以及对任务剩余时间的影响。将描述复杂过程的设计结构矩阵改进为一种扩展的设计结构矩阵,使其能够表示该扩展模型。在模型参数为确定值的...
关键词：过程管理 过程改进 顺序迭代 过程模型 设计结构矩阵 
航天飞控软件的二维容错体系结构设计被引量：2
《计算机工程》2008年第5期265-267,282,共4页张卫民 
介绍航天飞控软件系统的主要功能及其常规体系结构。设计开发航天飞控软件系统的一个二维容错体系结构。版本维A包括所有应用软件功能的完整功能进程,版本维B仅包括部分关键软件功能进程的二版本设计与实现,其中有原功能进程的全功能冗...
关键词：容错 体系结构 航天飞控 
基于需求演化的软件开发迭代时机选择
《飞行器测控学报》2008年第2期41-44,共4页张卫民 周伯生 
瀑布过程模型要求所有需求都明确并经过评审后才能开始软件设计和编码，使得整个软件系统的研制周期很长。为了缩短软件研制周期，可以采用迭代过程模型开发飞控软件系统。在采用迭代过程模型时，必须合理确定迭代的次数和每次迭代的时...
关键词：软件工程 过程管理 迭代模型 需求演化 
基于执行时间模型的航天飞控软件可靠性测试被引量：1
《测控技术》2008年第3期4-6,共3页张卫民 
航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理。尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程。介绍了基本执行时间可靠性模型,提出了基于历史失效数...
关键词：可靠性测试 航天飞控 执行时间模型 软件测试 
航天飞控软件操作概图开发被引量：1
《飞行器测控学报》2006年第6期69-73,共5页张卫民 
航天飞控软件是具有高可靠性要求的软件系统，对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂，使其成为了制约开展软件可靠性测试的主要困难之一。本文以...
关键词：操作概图 航天飞控 软件 
基于操作概图的软件系统测试被引量：6
《测控技术》2006年第4期14-16,共3页张卫民 
介绍了操作概图的基本概念及其列表表示法和图示表示法,提出了操作概图的多级列表表示法。说明了操作概图的开发方法,包括操作发起者标识、表示方法选择、操作列表创建和发生概率确定。讨论了基于操作概图的软件测试方法,主要包括测试...
关键词：软件测试 操作概图 失效密度 
载人航天飞行控制软件测试体系研究与建立
《载人航天》2006年第1期48-51,61,共5页张卫民 朱民才 宋军 崔晓峰 
北京航天飞行控制中心在载人航天工程中建立了航天飞行控制软件测试体系,对组成该体系的软件测试组织、测试规范、测试环境、测试工具和系统测试方法进行了论述。
关键词：载人航天 软件测试 测试体系 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部