刘文红
- 作品数：26 被引量：88H指数：6
- 供职机构：北京跟踪与通信技术研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信经济管理更多>>
- 基于形式化模型的航天测控软件系统测试
- 软件系统测试是一种重要的测试类别.作为大规模安全攸关系统,航天测控软件系统软件数量多、信息交换关系复杂、安全可靠性要求高,对航天测控软件系统开展软件系统测试是工程实践中的一个难题.结合工程实例,提出了一种基于形式化模型的...
- 张卫祥刘文红魏波
- 关键词：测试用例生成航天器控制
- 文献传递
- 遥测数据仿真系统的设计和实现被引量：1
- 2008年
- 针对遥测数据种类的多样性和处理方法的复杂性给软件测试带来的问题，对遥测系统基本工作原理、遥测格式、遥测处理方法进行了深入研究，设计和实现了一个适合不同遥测系统评测的遥测数据仿真模型。该模型的设计和实现使测试软件具备良好的可扩展性和可重用性，缩短了软件测试周期。
- 马贤颖刘文红张磊
- 关键词：遥测仿真软件测试
- 基于CMMI的配置管理系统设计与实现被引量：2
- 2011年
- 在研究软件配置管理方法的基础上，结合CMMI配置管理要求以及航天测控软件配置管理实际需求，建立配置管理实施框架，实现了一个一体化的配置管理系统。该系统能够辅助开发人员和配置管理人员便捷地制定配置管理计划，进行配置标识、建立和发布基线、跟踪和控制更改、执行配置审核和报告的自动生成，实现了CMMI对软件配置管理的要求，提高了配置管理的自动化管理水平和易用性。
- 刘文红吴欣董锐
- 关键词：软件配置管理配置项基线CMMI过程管理
- 一种软件质量评价方法及系统
- 本发明提供了一种基于过程评估和测试结果的软件质量评价方法及系统，该方法包括：软件获取步骤，用于获取待评价软件；软件质量评价模型建立步骤，用于基于软件的研制过程评估与测试结果构建一软件质量评价模型；软件质量评价步骤，用于基...
- 刘文红杨隽郭栋付志伟张大伟王泗宏沈玥宋亚魁林鲲鹏刘正云韩中生姚军张泽奇刘影
- 软件配置管理工具(SCMT)的设计理念被引量：2
- 2003年
- 文章从实际工作出发,详细介绍了自行开发的软件配置管理工具(SCMT)的设计思想和关键技术,对软件配置管理工作实践具有较强的指导作用。
- 任继平刘文红崔宗学朱国庆
- 关键词：软件配置管理
- 基于航天系统的FPGA可靠性安全性分析方法研究被引量：2
- 2021年
- FPGA日益广泛地应用于航天系统的指挥与控制,实现较多关键功能,其产品必须具有高可靠性和安全性。目前,关于可靠性安全性分析方法的研究大部分是针对传统软件的,对FPGA不具有适用性。针对这一问题,通过研究软件的可靠性安全性分析方法,结合FPGA的应用特点,介绍了FPGA可靠性安全性分析方法,包括故障模式及影响分析(FMEA)技术、故障树分析(FTA)技术、安全性双向分析(BDA)技术、硬件-软件接口分析(HSIA)技术。同时以FPGA串口通信功能为例,介绍了FMEA、FTA等FPGA可靠性安全性分析方法的具体应用。
- 于潇刘文红赵静王栋郭栋
- 关键词：FPGA
- 基于CMMI的软件测试项目过程管理被引量：5
- 2006年
- 针对独立的第三方软件测试项目特点，运用基于CMMI的软件项目管理方法，将需求管理、测试项目策划、项目监督与控制、质量保证和配置管理要求贯彻在软件测试过程中，给出了软件测试项目过程管理解决方案。该方案保证了软件测试项目的质量，提高了测试项目的技术水平和管理水平。
- 刘文红王占武吴欣张卫祥陈青
- 关键词：CMMI软件测试项目管理
- 机器学习系统的质量要素与测试方法被引量：1
- 2021年
- 机器学习系统的质量直接影响其所属业务系统的能力和安全,针对机器学习系统开展有效的测试尤为重要。由于机器学习系统具有模型复杂、可解释性差等特点,现有的软件测试流程无法直接适用。本文构建了机器学习系统项目生命周期中的测试活动框架,分析了项目不同阶段的质量要素与测试重点,推荐了适用的测试方法,适用于机器学习系统测试活动的策划与设计。
- 董锐张慧颖刘文红
- IP多播技术在Windows NT/Windows95下的应用
- 简要介绍了IP多播技术,详细说明了在WindowsNT/Windows95环境下,用WinSock实现多播数据的接收和发送.
- 刘文红李中天
- 关键词：多播套接字
- 文献传递
- 航天测控系统遥控软件自动化测试仿真平台研究被引量：7
- 2014年
- 针对传统遥控软件测试模式出现的测试周期长、适应能力差、效率低等问题,设计并实现了一种通用的遥控软件自动化测试仿真平台。通过对遥控软件的测试内容、测试方法进行分析,论证了建立自动化测试仿真平台的可行性,并对仿真平台的数据建模方法和场景建模方法进行了研究。最后,通过仿真场景实例对数据模型进行了设计,并对测试用例条件组合结果进行了分析和选优。实际应用表明,该平台设计先进,通用性好,测试效率高,能够满足测控系统中遥控软件的测试需求,提升了软件的自动化测试水平,具有一定的工程应用价值。
- 马贤颖刘文红夏烨
- 关键词：航天测控遥控自动化测试数据建模
