ICST 2023 (series) / Research Papers /
A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping
Mon 17 Apr 2023 11:20 - 11:40 at Pearse suite - Session 2: Autonomous & Cyberphysical Systems I Chair(s): Shaukat Ali
Simultaneous localization and mapping (SLAM) is a prerequisite for accurate navigation of autonomous vehicles. Although this is often safety-critical, systematic approaches for testing the correctness and accuracy of SLAM algorithms are missing. In this paper, we present an approach for automated and systematic testing of SLAM algorithms. We identify challenging environmental features for SLAM, define coverage criteria that characterize the SLAM problem’s input space, and develop a method for automatically generating high-coverage tests. We demonstrate the effectiveness of our approach with a case study on an existing FastSLAM implementation.
Mon 17 AprDisplayed time zone: Dublin change
Mon 17 Apr
Displayed time zone: Dublin change
11:00 - 12:30 | Session 2: Autonomous & Cyberphysical Systems IResearch Papers / Journal-First Papers at Pearse suite Chair(s): Shaukat Ali Simula Research Laboratory | ||
11:00 20mTalk | A Robustness-Based Confidence Measure for Hybrid System Falsification Journal-First Papers Toru Takisaka University of Electronic Science and Technology of China, Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics
, Ichiro Hasuo National Institute of Informatics, Japan Link to publication DOI | ||
11:20 20mTalk | A Coverage-Driven Systematic Test Approach for Simultaneous Localization and Mapping Research Papers | ||
11:40 20mTalk | Property-Based Mutation Testing Research Papers Ezio Bartocci Technische Universität Wien, Leonardo Mariani University of Milano-Bicocca, Dejan Nickovic Austrian Institute of Technology, Drishti Yadav Technische Universität Wien | ||
12:00 20mTalk | Constraint-Guided Automatic Side Object Placement for Steering Control Testing in Virtual Environment Research Papers Baekgyu Kim DGIST |