摘要：针对操作系统的可移植操作系统接口(POSIX)标准接口符合性测试过程,根据1003.1—2017标准和正则表达式,提出了一种POSIX标准接口静态测试方法。首先,基于1003.1—2017标准提取接口信息,形成了POSIX标准的接口信息库;其次,根据接口信息设计正则表达式,由正则表达式匹配接口信息,并通过匹配结果实现自动生成静态测试脚本;然后,在被测操作系统上编译静态测试脚本集合,根据编译输出信息,判断被测操作系统是否提供了符合POSIX标准的函数接口;最后,以某国产嵌入式操作系统为测试对象,选取静态测试脚本并执行测试,根据编译信息可以确定该操作系统提供的POSIX函数接口声明是否符合POSIX标准。

摘要：为了应对战场环境的瞬息万变,以及适应任务变更的需要,在线规划对于飞行器来说非常有必要。然而,由于飞行器不可能在空中长时间地停留,因此在线规划对规划速度的要求是非常苛刻的。基于航迹片段的航迹规划方法是一种能够有效地提高在线航迹规划速度的方法,其中航迹重组是这种方法的主要组成部分。本文根据航迹重组的自身特性,设计一种基于航迹片段的多核DSP并行航迹规划方法。实验结果表明,所设计的方法并没有影响航迹代价,而且在多核DSP上能够获得较高的加速比,能够有效地提高航迹规划速度。