航空嵌入式软件测试环境确认方法研究

通过对国军标与DO-178B对航空嵌入式软件测试环境确认要求的对比与分析,提出了一种满足国军标与DO-178B要求的航空嵌入式软件测试环境确认方法。实际运用表明,方法灵活、高效、可操作性强,可以满足航空嵌入式软件测试环境确认的要求。     

重视软件测试,提高软件的质量和可靠性水平

从提高软件质量的重要性出发,简要介绍了软件测试的目的和原则,分析了当前智能设备应用软件在开发、管理和测试方面存在的主要问题以及重视软件测试,提高软件质量和可靠性水平应采取的措施。     

Cantata＋＋C/C＋＋语言单元/集成测试工具

在软件测试领域，英国IPL公司的动态测试工具Cantata＋＋除了支持常用的打桩（Stub）能力之外，更创造性地开发了特有的“封装”（Wrap）技术，正是这种技术使得涉及系统调用，硬件访问等问题的集成测试成为可能。Cantata＋＋可以同时支持C和C＋＋语言的测试。     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

靶场测控设备软件质量保障新模式研究

针对靶场测控设备软件运行不稳定、软件中隐含许多问题的现状,研究适合于其开发、维护的新的质量保障模式,提出了软件巡回测试的方法;分析了造成软件问题的原因是研制单位软件研制能力不足、过程管理不规范;研究了软件巡回测试的特点、条件和方法。实践证明,巡回测试是提高测控设备软件健壮性和可靠性的有效方法,周期性的软件巡回测试是一个发现和解决测控设备软件问题的有效质量保障模式。     

飞行软件目标码测试软环境设计

阐述了一种飞行软件目标码测试环境的设计方法.该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计.最后通过应用实例验证了设计方法的可行性.     

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

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

操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.