机载大规模复杂软件结构覆盖分析方法研究

在机载大规模复杂软件验证过程中,开展结构覆盖活动时,需要选择既高效又能满足实际项目工程需要的方法。在总结了传统结构覆盖方法的局限性后,对机载大规模复杂软件的结构覆盖分析方法进行研究,结合已有项目经验,提出了一套针对软件中不同性质的代码分别采用在宿主机或目标机上进行结构覆盖,以及使用模型覆盖工具进行结构覆盖的方法。

空间站大规模复杂控制软件基于数据池的软件框架设计

针对复杂航天任务中控制软件不断增长的规模和复杂度带来的问题,对国外先进航天航空机构软件架构设计经验和最佳实践进行了调研,基于此对空间站大规模复杂航天器控制软件的通用框架设计进行研究,提出了一种基于数据池的软件框架设计方法,解决了空间站大规模复杂控制软件多舱段多机多总线资源管理和可扩展性的难题,实现了软件复杂的底层通信与上层应用处理之间的数据隔离和解耦,有效提高了软件复用率和可扩展能力。