Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk
Zusammenfassung
Die Bereitstellung von elektronischen Komponenten im Automobil in Form von Fahrerassistenzsystemen, Nachrichtenund Unterhaltungsmedien gewinnt zunehmend an Bedeutung und ist längst ein wettbewerbsrelevanter Faktor. Ein Infotainmentsystem ermöglicht durch eine grafische Benutzeroberfläche (GUI) die Interaktion mit diesen Funktionalitäten. Da die Komplexität moderner Infotainmentsysteme aufgrund der wachsenden Funktionsvielfalt stetig zunimmt, ist ein umfangreiches automatisiertes Testen erforderlich. Die Verifikation der GUI ist dabei eine besondere Herausforderung. Dieser Artikel stellt ein neues Verfahren vor um das durch Bildverarbeitungsmethoden klassifizierte GUI-Design zu verifizieren. Unter Anwendung eines Bayes'schen Netzwerks werden die unsicheren Informationen der Bildverarbeitung mit der Designspezifikation verglichen. Am Beispiel eines Infotainmentsystems der AUDI AG werden der Aufbau und die Leistungsfähigkeit des entwickelten Verifikationsverfahrens erläutert.
- Vollständige Referenz
- BibTeX
Heilemann, M. & Palm, G.,
(2011).
Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk.
In:
Heiß, H.-U., Pepper, P., Schlingloff, H. & Schneider, J.
(Hrsg.),
INFORMATIK 2011 – Informatik schafft Communities.
Bonn:
Gesellschaft für Informatik e.V..
(S. 212-212).
@inproceedings{mci/Heilemann2011,
author = {Heilemann, Miriam AND Palm, Günther},
title = {Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk},
booktitle = {INFORMATIK 2011 – Informatik schafft Communities},
year = {2011},
editor = {Heiß, Hans-Ulrich AND Pepper, Peter AND Schlingloff, Holger AND Schneider, Jörg} ,
pages = { 212-212 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Heilemann, Miriam AND Palm, Günther},
title = {Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk},
booktitle = {INFORMATIK 2011 – Informatik schafft Communities},
year = {2011},
editor = {Heiß, Hans-Ulrich AND Pepper, Peter AND Schlingloff, Holger AND Schneider, Jörg} ,
pages = { 212-212 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISBN: 978-88579-286-4
ISSN: 1617-5468
Datum: 2011
Sprache:
(de)
(de)
Typ: Text/Conference Paper

