Logo des Repositoriums
 
Konferenzbeitrag

Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Heilemann, Miriam; Palm, Günther (2011): Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk. INFORMATIK 2011 – Informatik schafft Communities. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-88579-286-4. pp. 212-212. Regular Research Papers. Berlin. 4.-7. Oktober 2011

Schlagwörter

Zitierform

DOI

Tags