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

Heilemann, Miriam; Palm, Günther

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

dc.contributor.author	Heilemann, Miriam
dc.contributor.author	Palm, Günther
dc.contributor.editor	Heiß, Hans-Ulrich
dc.contributor.editor	Pepper, Peter
dc.contributor.editor	Schlingloff, Holger
dc.contributor.editor	Schneider, Jörg
dc.date.accessioned	2018-11-27T09:59:01Z
dc.date.available	2018-11-27T09:59:01Z
dc.date.issued	2011
dc.description.abstract	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.	de
dc.identifier.isbn	978-88579-286-4
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/18585
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	INFORMATIK 2011 – Informatik schafft Communities
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-192
dc.title	Automatisierte Verifikation des Designs der grafischen Benutzeroberfläche von Infotainmentsystemen mit einem Bayes'schen Netzwerk	de
dc.type	Text/Conference Paper
gi.citation.endPage	212
gi.citation.publisherPlace	Bonn
gi.citation.startPage	212
gi.conference.date	4.-7. Oktober 2011
gi.conference.location	Berlin
gi.conference.sessiontitle	Regular Research Papers

Dateien

Originalbündel

1 - 1 von 1

Name:: 212.pdf
Größe:: 19.72 KB
Format:: Adobe Portable Document Format

Herunterladen

Sammlungen

P192 - INFORMATIK 2011 - Informatik schafft Communities