面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。     

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

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

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

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

嵌入式操作系统健壮性测试技术

针对机载嵌入式操作系统健壮性测试存在的问题,通过对健壮性测试技术及典型机载嵌入式操作系统构架的研究分析,提出了一种操作系统健壮性测试的模型。实际运用表明,模型高效、可操作性强,在某操作系统软件测评过程中发挥了积极作用。     

软件可靠性保证及相关技术

介绍了软件可靠性的基本概念，从航天工程应用的角度对软件可靠性保证工作，以及相关软件可靠性分配、预计、估计、分析与测试技术进行了较完整的归纳，并给出了下一步工作的建议。     

一种嵌入式软件覆盖和分析测试方法

如何进行嵌入式软件的覆盖测试和性能测试,是嵌入式软件测试工程师较为关心的热点问题之一。介绍了一种基于PowerPc755目标板的嵌入式软件覆盖和分析测试方法。方法借助于嵌入式软件测试工具TestBed和实时硬件数据采集工具RTInsight,搭建了嵌入式软件动态测试平台,并在该嵌入式软件动态测试平台上进行了覆盖测试和性能测试,同时给出了相关的覆盖率测试和时间性能测试的测试结果。     

航天系统软件测试的质量控制

分析了软件测试质量控制要素，并给出了提高软件测试有效性的系统方法。该方法在长征2F运载火箭故障检测处理系统软件测试项目中发挥了重要作用。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

一种多平台支持环境

传统的武器系统(如攻击机)利用嵌入式计算机和软件来提供巨大的灵活性和扩展性能。这些性能的实现需要大量的费用，虽然也可用已建立起来的专用软件开发设施来支持这些传统系统。不幸的是这些专用设施的费用一直过高。先进航空电子设备支持多雷达软件研究(AAMRSSS)项目提供了解决上述问题的办法。AAMRSSS研究了用专用软件开发设施(SDF)支持多软件系统平台的可行性。本研究涉及的问题有：通用性；待扩展的新系统的独特要求；平台优先次序以及将来的扩展。本研究特别提出了用F-15的雷达软件开发设施支持AC，130U Gunship(武装直升机)雷达工作的飞行试验计划(OFP)。     

全数字仿真测试环境在星载嵌入式软件测试中的应用

利用全数字仿真测试环境对嵌入式软件进行测试,是一种有效的测试方法.通过在PC机上仿真模拟嵌入式软件的外围接口设备,可以快速搭建仿真测试环境,在软件研发阶段即可同时引入测试,同时,可以利用自动比对技术,实现数据输出的正确性判断,提高测试效率和软件质量.