刘晓萍，王冬霞，黄双临，郭 睿

（32021部队，北京100094）

0 引言

近年来，卫星导航系统服务精度与时效性逐步提高，其用途从单一军事领域逐渐向民用和科研领域发展，成为国家经济建设中重要的空间信息基础设施。越来越多的国家和地区，开始启动不同的卫星导航系统建设计划，并以此推动军事和经济实力的提高。

北斗卫星导航系统（BeiDou navigation satellite system,BDS）统经历了北斗卫星导航试验系统即北斗一号（BeiDou navigation demonstration system,BDS-1）、北斗卫星导航（区域）系统即北斗二号（BeiDou navigation satellite（regional）system,BDS-2）、北斗三号全球卫星导航系统（BeiDou-3 navigation satellite system, BDS-3），地面软件是支撑卫星导航系统精度指标实现和稳定运行的核心，若其在使用中发生失效（不可靠），会导致系统任务失败。因此，导航系统对地面软件的稳定运行有着严格的可用度要求[1-2]。

常规的软件测试，通常聚焦在软件代码实现之后，再开展具体的工作，而软件分析验证，则是贯穿于整个软件生存周期，从系统设计、需求分析、软件设计到软件代码实现，在各个软件研制阶段，均可开展独立分析验证[3-4]。本文首先分析了国内外研究现状及发展趋势，接着从系统、需求、设计及源代码四个层次，分析验证地面软件的可靠性，并提出了三种关键技术。

1 国内外软件可靠性研究现状及趋势

随着计算机技术的发展和系统规模、复杂度的提高，软件在系统控制中发挥着越来越重要的作用。在系统可靠性工程技术的发展过程中，人们逐渐认识到软件系统的高可靠需要通过专业技术予以保证。20世纪90年代，由于……