张猛
- 作品数：3 被引量：10H指数：2
- 供职机构：中国空间技术研究院更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 航天嵌入式软件的单元测试及覆盖测试方法
- 针对航天嵌入式软件的特点,为保证其高可靠性,作者根据测试理论和型号测试实践提出了如何进行测试的重点阶段-单元测试,在测试方法中重点介绍了覆盖测试方法.
- 张猛
- 关键词：航天器嵌入式软件
- 文献传递
- 航天嵌入式软件的单元测试方法探讨被引量：4
- 2006年
- 合理有效的软件测试手段对于提高航天嵌入式软件的质量具有很重要的意义。文章从单元测试的实践出发,基于软件测试理论,对单元测试的方法和过程进行了分析,并简单介绍了某型号软件的单元测试情况。
- 张猛毛亮
- 关键词：软件测试嵌入式软件
- 航天器用实时操作系统设计被引量：6
- 2012年
- 针对航天器在应用实时操作系统时的特殊需要,设计了航天器用实时操作系统的总体设计方案及内核;总体设计中,将操作系统分为板卡级驱动层、系统内核层、接口层三个层次,并确定了满足航天器任务的最简需求与各层的关系;在内核设计中,设计了双向链表管理器、多任务调度管理器、时钟管理器、消息队列管理器、中断管理器,并在其中体现了最简设计的思想;最后,对航天器用实时操作系统的可靠性设计思路进行了描述;此操作系统目前已应用多个航天器中。
- 李林王向晖陶利民张猛
- 关键词：实时操作系统嵌入式
