Text

STEM-System Testing Using Generative Models

Photo:https://unsplash.com/

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 External link..

  • 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 External link..