claasrostock / stgem

Requirement Falsification for Cyber Physical Systems using Generative Models

STGEM: System Testing Using Generative Models

STGEM is a tool for black-box testing of cyber-physical systems. It supports falsification of requirements described in Signal Temporal Logical (STL) by robustness optimization. This is achieved by training a generative machine learning model online to produce system inputs that yield a low robustness.

STGEM is under development and we are adding new algorithms and features. So far, the tool implements the algorithms presented in these articles:

• Jarkko Peltomäki and Ivan Porres, Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. The 6th. Intl. Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, ITEQS 2022. To appear. Preprint available here.

• Jarkko Peltomäki, Frankie Spencer and Ivan Porres, Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems, The 15th Intl. Workshop on Search-Based Software Testing, SBST 2022. To appear. Preprint available here.

  • We participated in the SBST 2022 CPS tool competition. A preprint of the competition note is available here.
  • Related presentations videos here ( slides ) and here ( slides ).

Read the CONTRIBUTING.md file to learn how to set up stgem.

STGEM is developed at Åbo Akademi University. Contact Ivan Porres [email protected] for more information.