Automating Usability Evaluation of Visual User Interfaces in the Tile Logic

Abstract

This article presents the methodology of formal automated evaluation of user interface usability. The tiles logic was selected as the language for solving problems in formal usability verification. The paper contains an overview of the related works, explains the reasons for using the tile logic, and considers the principles of verification (proof) of usability as validation of agent's interaction. The differences and advantages of the developed approach from the well-known are shown. A description of the agents interaction in the tile logic is used to automate usability evaluation. The methodology of formal automated usability evaluation is demonstrated by describing the interaction of two simple agents in the tile logic. In conclusion, we present future of use and development of the proposed approach.

Performing Usability Evaluation on Multi-Platform Based Application for Efficiency, Effectiveness, and Satisfaction Enhancement

“…A system prototype is just adequate. However, a pluralistic walkthrough [27,28,29] is a method for a team to investigate the system's paper prototype with the users' focus group to discuss system interface issues [26]. [16] however, highlighted the non-face-to-face assessment by suggesting remote usability testing.…”