Data Driven Testing of Cyber Physical Systems
| Autor: | Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Computer Science - Cryptography and Security business.industry Computer science Knowledge engineering Cyber-physical system Computer Science - Neural and Evolutionary Computing Python (programming language) Data-driven testing Software Test case Domain knowledge Neural and Evolutionary Computing (cs.NE) Software engineering business computer Cryptography and Security (cs.CR) Building automation computer.programming_language |
| Zdroj: | SBST@ICSE |
| Popis: | Consumer grade cyber-physical systems (CPS) are becoming an integral part of our life, automatizing and simplifying everyday tasks. Indeed, due to complex interactions between hardware, networking and software, developing and testing such systems is known to be a challenging task. Various quality assurance and testing strategies have been proposed. The most common approach for pre-deployment testing is to model the system and run simulations with models or software in the loop. In practice, most often, tests are run for a small number of simulations, which are selected based on the engineers' domain knowledge and experience. In this paper we propose an approach to automatically generate fault-revealing test cases for CPS. We have implemented our approach in Python, using standard frameworks and used it to generate scenarios violating temperature constraints for a smart thermostat implemented as a part of our IoT testbed. Data collected from an application managing a smart building have been used to learn models of the environment under ever changing conditions. The suggested approach allowed us to identify several pit-fails, scenarios (i.e., environment conditions and inputs), where the system behaves not as expected. 4 pages, to be published in SBST2021 workshop proceedings |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|