This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new algorithms for autonomous navigation and collision avoidance and we have extracted what verification and validation approaches have been applied on these algorithms. We observe that most research works use simulations to validate their algorithms. However, these simulations often involve just a few scenarios designed manually. This raises the question if the algorithms have been validated properly. To remedy this, we propose the use of a systematic scenario-based testing approach to validate navigation algorithms extensively.

翻译：本文探讨了核实和验证自主水面船舶导航算法的先进方法。我们进行了系统测绘研究,以寻找过去十年发表的研究著作,提出自主导航和避免碰撞的新算法,并提取了对这些算法采用的核查和验证方法。我们观察到,大多数研究工作都使用模拟来验证其算法。然而,这些模拟往往只涉及几个手工设计的假设。这提出了这些算法是否经过适当验证的问题。为了纠正这一点,我们提议使用系统假设测试方法来广泛验证导航算法。