Zobrazeno 1 - 10
of 4 634
pro vyhledávání: '"Model-Based Testing"'
Publikováno v:
Applied Sciences, Vol 14, Iss 19, p 9064 (2024)
Over the last decade, hardware-in-the-loop (HIL) simulation has been established as a safe, efficient, reliable, and flexible method for performing real-time simulation. Furthermore, in the automotive sector, the HIL system has been recommended in th
Externí odkaz:
https://doaj.org/article/e690489175524c2e8cb0125ffeac8344
Autor:
Lopes, Tomás, Guerreiro, Sérgio
Publikováno v:
Business Process Management Journal, 2023, Vol. 29, Issue 8, pp. 133-162.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/BPMJ-11-2022-0557
Publikováno v:
IEEE Access, Vol 11, Pp 55474-55514 (2023)
Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical systems. As a result of the high number of different technologies and connectivity features involved, testing these systems to identify security vulnerabilities is a big
Externí odkaz:
https://doaj.org/article/6a683b36c24441cca6d8b333a53e1f6c
Publikováno v:
IEEE Access, Vol 11, Pp 32095-32118 (2023)
We introduce a model-based feedback-driven test adaptation approach for end-to-end user interface testing of smart TVs. From the perspective of the TV software, the proposed approach is a non-intrusive and completely black-box approach, which operate
Externí odkaz:
https://doaj.org/article/0da33b1ab47d45bba50b087aad020cda
Autor:
Hendrik Holzmann, Volker Landersheim, Udo Piram, Riccardo Bartolozzi, Georg Stoll, Heiko Atzrodt
Publikováno v:
Vehicles, Vol 5, Iss 1, Pp 94-110 (2023)
In this work, a simulation framework for virtual testing of autonomous driving functions under the influence of a fault occurring in a component is presented. The models consist of trajectory planning, motion control, models of actuator management, a
Externí odkaz:
https://doaj.org/article/78c0ae6bedf144f5bba0c7ed7dad4a04
Publikováno v:
IEEE Access, Vol 11, Pp 2384-2395 (2023)
One way of developing fast, effective, and high-quality software products is to reuse previously developed software components and products. In the case of a product family, the software product line (SPL) approach can make reuse more effective. The
Externí odkaz:
https://doaj.org/article/6cd761024ea14dea84fcd4c06dfb8a46
Yes
This paper concerns the systematic testing of robotic control software based on state-based models. We focus on cyclic systems that typically receive inputs (values from sensors), perform computations, produce outputs (sent to actuators) and
This paper concerns the systematic testing of robotic control software based on state-based models. We focus on cyclic systems that typically receive inputs (values from sensors), perform computations, produce outputs (sent to actuators) and
Externí odkaz:
http://hdl.handle.net/10454/19414
Autor:
Anjum Ara Shah, Muddassar Azam Sindhu
Publikováno v:
NUML International Journal of Engineering and Computing, Vol 2, Iss 1 (2023)
This paper studies learning-based testing (LBT) for reactive systems with different learning algorithms and model checkers. LBT is a technique that requires a learning algorithm to learn the models to generate test cases automatically. We have used t
Externí odkaz:
https://doaj.org/article/8bfe4fa778f44b4891643a3c50db5249
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.