テスト生成arXiv:2309.13795
酵素数値Pシステムを用いたロボットコントローラのモデリングと探索ベーステスト
Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems
教育用ロボットの車線維持コントローラを酵素数値Pシステムでモデル化し、探索ベースのテスト生成ツールで精度を検証した。
著者: Radu Traian Bobe, Florentin Ipate, Ionuţ Mihai Niculescu
分類: cs.SE, cs.RO
原文アブストラクト
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.