导航接收机数据处理软件可测性设计与实现

针对接收机数据处理软件的可测性设计运用几种方法:设计分层与管道过滤器相结合的体系结构可将软件故障限制在层次或过滤器范围内;软件运行环境模拟便于嵌入式软件分解测试;状态序列编码能动态指示软件运行状态;消息日志可静态复现一段时间内接收机数据处理软件的工作流程。