基于酶数值P系统的机器人控制器建模与搜索式测试
软件工程
2023-09-26 v1 机器人学
摘要
在数字化社会中，由软件控制的系统的安全性是一个非常重要的领域，因为自动化流程的数量正在增加。在本文中，我们展示了对一个教育机器人的不同车道保持控制器精度进行测试的结果。在我们的方法中，机器人使用数值P系统和酶数值P系统控制。对于测试生成，我们使用了一个实现基于搜索的软件测试方法的开源工具。
引用
@article{arxiv.2309.13795,
title = {Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems},
author = {Radu Traian Bobe and Florentin Ipate and Ionuţ Mihai Niculescu},
journal= {arXiv preprint arXiv:2309.13795},
year = {2023}
}
备注
In Proceedings FROM 2023, arXiv:2309.12959