刘文红
- 作品数：25 被引量：86H指数：6
- 供职机构：北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信经济管理更多>>
- 基于形式化模型的航天测控软件系统测试
- 软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的...
- 张卫祥刘文红魏波
- 关键词：测试用例生成航天器控制
- 文献传递
- 软件配置管理工具(SCMT)的设计理念被引量：2
- 2003年
- 文章从实际工作出发,详细介绍了自行开发的软件配置管理工具(SCMT)的设计思想和关键技术,对软件配置管理工作实践具有较强的指导作用。
- 任继平刘文红崔宗学朱国庆
- 关键词：软件配置管理
- 基于航天系统的FPGA可靠性安全性分析方法研究被引量：2
- 2021年
- FPGA日益广泛地应用于航天系统的指挥与控制,实现较多关键功能,其产品必须具有高可靠性和安全性。目前,关于可靠性安全性分析方法的研究大部分是针对传统软件的,对FPGA不具有适用性。针对这一问题,通过研究软件的可靠性安全性分析方法,结合FPGA的应用特点,介绍了FPGA可靠性安全性分析方法,包括故障模式及影响分析(FMEA)技术、故障树分析(FTA)技术、安全性双向分析(BDA)技术、硬件-软件接口分析(HSIA)技术。同时以FPGA串口通信功能为例,介绍了FMEA、FTA等FPGA可靠性安全性分析方法的具体应用。
- 于潇刘文红赵静王栋郭栋
- 关键词：FPGA
- 机器学习系统的质量要素与测试方法被引量：1
- 2021年
- 机器学习系统的质量直接影响其所属业务系统的能力和安全,针对机器学习系统开展有效的测试尤为重要。由于机器学习系统具有模型复杂、可解释性差等特点,现有的软件测试流程无法直接适用。本文构建了机器学习系统项目生命周期中的测试活动框架,分析了项目不同阶段的质量要素与测试重点,推荐了适用的测试方法,适用于机器学习系统测试活动的策划与设计。
- 董锐张慧颖刘文红
- IP多播技术在Windows NT/Windows95下的应用
- 简要介绍了IP多播技术,详细说明了在WindowsNT/Windows95环境下,用WinSock实现多播数据的接收和发送.
- 刘文红李中天
- 关键词：多播套接字
- 文献传递
- 航天测控系统遥控软件自动化测试仿真平台研究被引量：6
- 2014年
- 针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台。通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究。最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优。实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值。
- 马贤颖刘文红夏烨
- 关键词：航天测控遥控自动化测试数据建模
- 软件配置管理解决方案被引量：7
- 2003年
- 从具体工程和实际工作出发,为软件配置管理工作的有效实施提出了一套解决方案,该方案实际应用效果良好,对软件配置管理实践有较强的指导和借鉴作用。
- 任继平朱国庆邢伟崔宗学刘文红
- 关键词：软件配置管理软件配置管理工具软件能力成熟度模型软件工程
- 基于CMM的软件测试过程管理被引量：9
- 2008年
- 针对软件测试项目特点,详细分析了软件测试过程的4个阶段,说明了各阶段应完成的主要任务和实施步骤,并结合CMM方法,提出了基于CMM的软件测试过程管理方法。阐述了该方法中软件测试需求管理、项目策划、项目监督与控制、质量保证和配置管理的内容和要求,实现了软件测试过程的规范管理,提高了测试过程的管理水平,保证了软件测试的质量与效率。
- 刘文红王占武马贤颖
- 关键词：CMM软件测试项目管理配置管理
- 基于故障树分析与组合测试的测试用例生成方法被引量：5
- 2014年
- 随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。
- 张卫祥刘文红
- 关键词：软件测试测试用例生成故障树分析最小割集测试用例集
- 基于CMMI的软件质量保证被引量：8
- 2012年
- 为了实现CMMI软件过程和产品质量保证的要求,提高质量活动的规范性和自动化水平,在采用软件质量保证活动实际工程实践结合CMMI软件过程和产品质量保证方法的基础上,建立了适合的软件质量保证流程,实现了一体化的质量保证和质量趋势分析系统。该系统辅助质量保证人员便捷地制定质量保证计划,有效地开展软件过程和产品评价,自动地跟踪不符合项处理情况,生成质量保证报告,准确地描述质量趋势。
- 刘文红吴欣张敏
- 关键词：过程域CMMCMMI
