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

要約

自動化されたプロセスが増加するデジタル化社会において、ソフトウェアによって制御されるシステムの安全性は非常に重要な領域です。
この論文では、教育用ロボット用のさまざまな車線維持コントローラーの精度をテストした結果を紹介します。
私たちのアプローチでは、ロボットは数値 P システムと酵素数値 P システムを使用して制御されます。
テストの生成には、検索ベースのソフトウェア テスト アプローチを実装するオープンソース ツールを使用しました。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google