Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems

TL;DR

This paper evaluates the accuracy of lane keeping controllers for an educational robot, using enzymatic numerical P systems and search-based testing to improve safety in automated systems.

Contribution

It introduces a novel approach combining enzymatic numerical P systems with search-based testing for robot controller validation.

Findings

Demonstrated the effectiveness of enzymatic P systems in modeling robot controllers.

Applied search-based testing to generate test cases for controller validation.

Provided insights into the safety and reliability of automated lane keeping systems.

Abstract

The safety of the systems controlled by software is a very important area in a digitalized society, as the number of automated processes is increasing. In this paper, we present the results of testing the accuracy of different lane keeping controllers for an educational robot. In our approach, the robot is controlled using numerical P systems and enzymatic numerical P systems. For tests generation, we used an open-source tool implementing a search-based software testing approach.