Please use this identifier to cite or link to this item:
Title: Model checking user interfaces
Authors: Cauchi, Abigail
Pace, Gordon J.
Spina, Sandro
Keywords: Human-computer interaction
Computer programs -- Verification
User interfaces (Computer systems)
Issue Date: 2008
Publisher: University of Malta. Faculty of ICT
Citation: Cauchi, A., Pace, G. J., & Spina, S. (2008). Model checking user interfaces. Workshop in Information and Communication Technology (WICT 2008), Msida. 1-6.
Abstract: User interfaces are crucial for the success of most software projects. As software grows in complexity there is a similar growth in the user interface com- plexity which leads to bugs which may be difficult to find by means of testing. In this paper we use the method of automated model checking to verify user interfaces with respect to a formal specification. We present an algorithm for the automated abstraction of the user interface model of a given system, which uses asynchronous and interleaving composition of a number of programs. This technique was successful at verifying the user interface of case study and brings us one step forward towards push button verification.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Model_checking_user_interfaces_2008.pdf846.42 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.