PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems

06/04/2021
by   Quinn Thibeault, et al.
0

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).

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset