首先介绍了国内外软件可靠性分析验证技术研究现状,接着设计了北斗卫星导航系统(BDS)地面软件可靠性分析验证方案,并从系统层、需求层、设计层、源代码层四个方面,详细分析了BDS地面软件的可靠性分析验证方法,最后提出了硬件/软件/系统交互失效分析技术、系统运行及切换过程中故障识别技术、代码潜在路径故障识别技术等三种关键技术及解决途径,为我国全球卫星导航系统可靠性验证参考.
软件可靠性 分析验证技术 北斗卫星导航系统 地面控制管理软件