Einsatz formaler Methoden zur Evaluierung der Gebrauchsfähigkeit interaktiver Geräte (Utilization of Formal Methods for the Usability Evaluation of Interactive Devices)

Gebrauchsfähigkeit ist ein wichtiges Attribut interaktiver Systeme. Sie kann empirisch erst ermittelt werden, wenn ein funktionsfähiger Prototyp zur Verfügung steht. Da sich die Entwicklungsprozesse ständig beschleunigen, kommen empirische Ergebnisse jedoch häufig zu spät, um noch in den Entwicklungsprozess einfließen zu können. Dieser Beitrag beschreibt als Alternative den Einsatz formaler Bewertungsmethoden auf Basis normativer Benutzermodelle. Diese erlauben die Bewertung der Gebrauchsfähigkeit bereits auf der Grundlage technischer Spezifikationen. Es wird das Werkzeug TREVIS vorgestellt, das normative Benutzermodelle semi-automatisch aus technischen Spezifikationen generiert und daneben vielfältige Analysemöglichkeiten bereit stellt.