PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
复制标题
DOI：
10.1007/978-3-030-85248-1_15
复制
发表时间：
2021-06
期刊：
影响因子：
--
通讯作者：
Quinn Thibeault;Jacob Anderson;Aniruddh Chandratre;Giulia Pedrielli;Georgios Fainekos
中科院分区：
文献类型：
--
作者：
Quinn Thibeault;Jacob Anderson;Aniruddh Chandratre;Giulia Pedrielli;Georgios Fainekos
在本文中，我们提出了Python包PSY-TaLiRo，这是一个工具箱的时间逻辑鲁棒性引导证伪的网络物理系统（CPS）。PSY-TaLiRo是一个完全模块化的工具箱，支持多个时序逻辑离线监视器以及用于测试用例生成的优化引擎。PSY-TaLiRo的好处之一是，它支持许多不同类型的被测系统的基于搜索的测试生成。所有的PSY-TaLiRo模块都可以由用户完全修改，以支持新的优化和鲁棒性计算引擎以及任何被测系统（SUT）。
In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a completely modular toolbox supporting multiple temporal logic offline monitors as well as optimization engines for test case generation. Among the benefits of PSY-TaLiRo is that it supports search-based test generation for many different types of systems under test. All PSY-TaLiRo modules can be fully modified by the users to support new optimization and robustness computation engines as well as any System under Test (SUT).