| Název: | Towards automatic validation of composite heterogeneous systems in edge situations |
| Další názvy: | Směrem k automatické validaci kompozitních heterogenních systémů v hraničních situacích |
| Autoři: | Černý, Lukáš |
| Citace zdrojového dokumentu: | ČERNÝ, L. Towards automatic validation of composite heterogeneous systems in edge situations. In Proceedings of 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). Piscataway: IEEE, 2022. s. 118-121. ISBN: 978-1-66547-679-9 , ISSN: 2375-821X |
| Datum vydání: | 2022 |
| Nakladatel: | IEEE |
| Typ dokumentu: | konferenční příspěvek ConferenceObject |
| URI: | 2-s2.0-85146318797 http://hdl.handle.net/11025/54896 |
| ISBN: | 978-1-66547-679-9 |
| ISSN: | 2375-821X |
| Klíčová slova: | validace systému;testování na základě modelu;generování testovacích scénářů;simulace okolního prostředí |
| Klíčová slova v dalším jazyce: | system validation;model-based testing;test scenario generation;environmental simulation |
| Abstrakt: | Systémy realizující bezpečnostní funkce jsou stále složitější, což souvisí i s jejich komunikačními a vnímacími schopnostmi v prostředí. Takové systémy, které jsou k vidění primárně v oblasti mobility, se stávají náchylnějšími k selháním ve složitých rozhodovacích situacích, které je obtížné odhalit. Tento článek popisuje myšlenku pro vznik doktorandského tématu na validaci a verifikaci systému specifikovaného formálními logickými modely. Našim cílem toho dosáhnout je automatizace generování testovacích scénářů, které obsahují hraniční situace (zobecněné jako hraniční případy) vyvolané okolním prostředím v simulačním nástroji. |
| Abstrakt v dalším jazyce: | Systems implementing safety functions are becoming more complex, which is also related to their communication and perception capabilities in an environment. Such systems, primarily seen in mobility, become more susceptible to failures in complex decision-making situations that are difficult to uncover. This paper presents an idea formed in a PhD topic on validating and verifying the system specified by formal logic models. We aim to do so by using automatically generated test scenarios including edge situations (as generalizations of edge cases) invoked by an environment in a simulation tool. |
| Práva: | Plný text je přístupný v rámci univerzity přihlášeným uživatelům © IEEE |
| Vyskytuje se v kolekcích: | Konferenční příspěvky / Conference Papers (KIV) OBD |
Soubory připojené k záznamu:
| Soubor | Velikost | Formát | |
|---|---|---|---|
| Černý Towards_automatic_validation_of_composite_heterogeneous_systems_in_edge_situations.pdf | 412,61 kB | Adobe PDF | Zobrazit/otevřít Vyžádat kopii |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/54896Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.