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.
翻译:在数字化社会中,由软件控制的系统安全性是一个非常重要的领域,因为自动化流程的数量正在增加。本文展示了针对教育机器人不同车道保持控制器精度的测试结果。在我们的方法中,机器人使用数值P系统和酶数值P系统进行控制。为生成测试,我们使用了一个实现基于搜索的软件测试方法的开源工具。