基于程序切片的电子海图系统软件测试技术：原理、应用与优化

一、引言

1.1研究背景与意义

在航海领域，电子海图系统已然成为保障船舶安全航行的关键设备，其重要性不言而喻。作为智能航行系统的核心组成部分，电子海图系统将船载雷达、全球导航卫星系统（GNSS）、船舶自动识别系统（AIS）等各类设备的数据进行融合处理，并直观地显示在电子海图上，为航海人员提供了航路监视、计划航线设计、航行报警、航行记录、海图改正等多种至关重要的功能，被誉为继雷达之后航海技术领域又一具有革命性意义的突破。随着航海事业的蓬勃发展以及智能船舶的快速兴起，电子海图系统的应用愈发广泛，其可靠性和稳定性直接关系到船舶航行的安全，