GUI-Verification via Model Comparison of Business Model, Databases and GUI

In modern agile software development, work performed is inspected on a regular basis. The results of the inspections are usually compared to the specifications of the product owner. The goal of data processing software in a business context is to represent the underlying business model in an IT and GUI-model that is easy to understand for the user.

Existing verification methods for graphical user interfaces commonly check for usability, control structures, IPO conformity (input-process-output) or accessibility and termination of states. These methods however do not take the underlying business model into account.

The aim of this thesis is to develop an analytical method for the verification of a graphical user interface focusing on the business model. The herein used analysis is based on a comparison of the database model depicting the business model and the model of the user interfaces used for displaying content according to the user role.

In conjuction with