Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/27842| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27842 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Model_checking_user_interfaces_2008.pdf | 846.42 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.