Conformance testing is a structured and model-based approach to testing. It aims to establish conformance between a model and a black-box implementation by running several test cases. Cyber-physical systems feature a tight integration of discrete computations, continuous dynamics, and (asynchronous) communications in cyber-physical systems; hence, applying conformance testing to them involves models that allow for specifying the integration and interaction of these phenomena.In this talk, we review a few notions of conformance relations that are suitable for the purpose of testing cyber-physical systems. We present intensional representations of these notions of conformance, in terms of mathematical relations on hybrid systems trajectories, as well as a logical characterisation using Metric Temporal Logic.Subsequently, we present a test-case generation algorithm and its implementation, in terms of an open-source Matlab toolbox for conformance testing cyber-physical systems. We present a number of case-studies we have conducted in the automotive domain, including a case-study on platooning and another one on doping detection concerning diesel car emissions.The work presented in this talk are the result of my collaboration with several people including: Arend Aerts, Hugo Araujo, Sebastian Biewer, Gustavo Carvalho, Rayna Dimitrova, Maciej Gazda, Holger Hermanns, Morteza Mohaqeqi, Bruno Oliveira, Michel A. Reniers, Augusto Sampaio, Masoumeh Taromirad, and Bryan Tong Minh.
展开▼
