自主可控关键软硬件在我国宇航领域的应用与发展建议

针对复杂国际形势与国内薄弱的工业基础，“十一五”以来我国通过“核高基”等国家科技重大专项持续投入，已在核心电子器件、基础软件产品、配套成套工艺等方面取得了重大突破。上海航天技术研究院作为航天装备主要研制单位，积极参与国家科技重大专项的实施，主动推动国产核心器件与操作系统软件的应用验证与型号应用，为国产关键软硬件研制平台能力提升作出了积极贡献。为适应新时代装备自主、安全的发展需求，本文从支持元器件正向研制、提升“研用”转换能力和推动国产操作系统应用3个方面提出重点发展建议。     

星载软件虚拟仿真测试平台设计与实现

针对测试工具无法对星载软件中涉及硬件操作的代码进行动态测试的技术难题,提出将测试工具与虚拟开发验证平台集成为虚拟仿真测试平台的解决方案。介绍了测试平台的原理及实现。某星载软件的单元和集成测试结果表明:该测试平台较好地解决了原测试工具无法对涉及硬件相关功能特性进行验证的问题,提高了星载软件测试的有效性。     

Klocwork在军用软件测试中的应用

分析在软件测试工作中出现的大量重复性工作,引用软件工程化管理的自动化测试思维,自主定制测试脚本,在Windows系统及国产麒麟操作系统下使用Klocwork测试工具进行自动化测试设计、实现和应用,通过在项目开发过程中定期循环交替进行Klocwork的全面检查,发现集成测试和系统测试所不能发现的问题,提高项目代码的质量,降低整个测试过程的成本。     

国产化信息处理平台设计与实现

针对当前密码设备国产器件应用率低、性能差等缺点,设计一种基于龙芯3A+2H及高性能FPGA的自主可控全国产化高速信息处理平台。平台支持高达千兆的数据传输速率,支持多路数据流并发处理,单流加解密处理码速率高于10Mb/s。为保证系统安全可靠,平台还引入了三重防护设计。详细阐述信息设备的软硬件设计及关键技术,并给出试验验证结果,为国产自主可控信息处理平台的实现和国产操作系统的应用提供参考。     

航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

软件注入缺陷典型案例

<正>软件测试是能力成熟度模型集成(CMMI,Capability Maturity Model Integration)中验证(Ver,Verification)与确认(Val,Validation)过程域的重要表现形式,是保障软件可靠性的重要手段。近年来,随着软件规模的增大和复杂程度的不断提高,软件测试技术也不断发展,现有测     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

航天测控软件测试过程新模型的应用研究

对几种传统的软件测试过程模型进行分析和比较,结合航天测控软件的特点,提出蝴蝶模型的软件测试新模型,对基于蝴蝶模型的航天测控软件测试过程进行探索和研究,旨在提高软件开发的质量和软件测试的效率.     

星载计算机软件自动化测试平台研究

自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。     

支持多核处理器的星载分区操作系统设计

针对星载处理器由单核向多核发展的趋势和当前没有针对航天应用的星载多核操作系统、卫星无法发挥多核处理器性能优势的问题,文章研究了适用于航天任务的星载多核分区操作系统。设计了一种支持多核处理器的星载操作系统结构,采用多核处理器动态调度和静态调度相结合的方法,实现了星载多核处理器高效实时调度与确定性调度。通过分区管理设计,实现分区间隔离与保护,避免软件问题扩散影响其他功能。该系统还具有支持星载应用(APP)动态加载、通过软件构件技术实现星载应用快速组装与集成的特点,可为航天任务应用多核处理器提供安全可靠的软件运行平台,满足未来航天新型任务和多核处理器的需求。     

Linux操作系统高版本与Windows多操作系统在硬件保护卡管理下安装的探究

本文主要解决在计算机实验室中安装多种操作系统的具体方法。每种操作系统平台独立运行,在一个平台上的误操作及故障不会引起其他平台的无法启动及运行。同时,能在计算机实验室中给学习者和研究者提供在多种操作系统平台的操作和学习机会,并对每一种操作系统平台提供不同保护措施。也能减轻计算机实验室管理人员的工作强度。     

Linux操作系统高版本与Windows多操作系统在硬件保护卡管理下安装的探究

本文主要解决在计算机实验室中安装多种操作系统的具体方法。每种操作系统平台独立运行,在一个平台上的误操作及故障不会引起其他平台的无法启动及运行。同时,能在计算机实验室中给学习者和研究者提供在多种操作系统平台的操作和学习机会,并对每一种操作系统平台提供不同保护措施。也能减轻计算机实验室管理人员的工作强度。     

航天嵌入式软件的单元测试方法探讨

合理有效的软件测试手段对于提高航天嵌入式软件的质量具有很重要的意义。文章从单元测试的实践出发,基于软件测试理论,对单元测试的方法和过程进行了分析,并简单介绍了某型号软件的单元测试情况。     

实时弹载计算机软件动态测试平台

为实现某弹载计算机嵌入式软件的动态测试，组建了一个基于PXI的强实时软件测试平台。通过接口测试平台软件对时序的精确控制和多模块同步协调，能较真实地仿真该软件的运行环境。向测试平台注入测试用例。可以对该软件进行动态测试。测试结果表明，本测试平台具有较强的实时性，使用效果良好。     

数字校正网络动态特性的软件测试方法

为检验数字校正网络软件实现的正确性,本文给出了一种利用数学方法实现对网络频率特性进行软件测试的方法,并对该方法进行了详细的理论分析,在此基础上进行了某型号软件的频率特性测试,结果表明,该方法避免了硬件测试的繁琐工作及不稳定性,且不受硬件条件及环境限制,具有实用价值。     

航天设备嵌入式软件研制工程化实践

介绍航天设备嵌入式软件工程的研制方法和步骤 ,软件需求分析 ,软件测试方法和工具 ,软件分阶段研制的必要性 ,以及航天设备软件工程研制的经验 ,并对今后工作提出建议     

航天软件测试用例设计方法应用

介绍了航天软件测试中常用的测试用例设计方法,描述了航天软件常采用的可靠性措施(如“三取二”冗余设计、时序冗余控制等),提出了采用等价类划分和因果图进行用例设计的方法,给出了其工程应用实例,并总结了软件测试需求分析、用例设计的基本思路和步骤。     

软件测试与提升产品质量的思考

软件测试是软件能力成熟度模型集成的重要活动,软件占产品比重的不断提升,对软件的验证提出了更加严格的要求。文章根据实际项目经历,从体系认证、标准和发展的角度,提出软件测试在提升产品质量方面的思考。     

一种星载计算机操作系统容错引导算法研究

将软件冗余备份与SPARC V8构架芯片EDAC相结合,提出了一种新型星载计算机操作系统容错引导算法。该算法首先在EEPROM中备份三份操作系统文件,星载机上电或复位后,利用硬件EDAC功能对引导的操作系统文件进行错误检测及纠错,当检测主操作系统文件错误并且无法纠错时,则屏蔽错误操作系统文件自动引导备份操作系统文件,星载机仍可正常启动。与目前采用的硬件编码容错技术及软件冗余容错算法相比,该算法在有效降低硬件成本和软件消耗的同时,实现了对操作系统文件的检错纠错及错误屏蔽功能,提高了操作系统数据的可靠性。该算法可以为星载机容错设计提供参考。     

基于故障注入技术的航天器系统级软件测试方法研究

针对航天器系统级软件故障模式测试特点及难点,对故障注入技术在航天器系统级软件测试的工程应用进行经验总结。详细说明了系统级软件故障模式测试的基本原理,从应用对象的角度出发将故障注入技术进行合理分类,提出了3种适用于航天器系统级故障注入技术。根据现有工程实践经验,结合系统级故障模式测试设计理论,对系统级故障注入技术从实现原理、地面系统连接方式、故障注入与系统响应时序关系等方面进行了研究,并在此基础上提出了航天器系统级星载软件故障模式测试验证的具体应用方法、适用场景及优缺点,可为航天器系统级电测中的软件测试设计提供参考。