Paper Info
Title
Modelling and Verification of User Interactions Using Constraint Programming
Abstract
Graphical user interfaces are important components of today's software. User interfaces often require checking correctness of user interactions. In web applications such checks can be a part of the JavaScript code. User interfaces in web applications can evolve, some elements can be removed and new elements can be added. To check JavaScript code covers all possible incorrect scenarios in user interactions in web application, constraint programming is used. We use the MiniZinc constraint modelling language to model incorrect user behaviour and to convert JavaScript code into a constraint model. Then we perform an equivalence check to find deviations in JavaScript code. The approach was applied to design user interface of an industrial software product.
Year
DOI
Venue
2017
10.1109/QRS-C.2017.92
2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)
Keywords
Field
DocType
user interaction verification,user interaction modelling,constraint programming,graphical user interfaces,Web applications,JavaScript code,MiniZinc constraint modelling language,industrial software product
User experience design,Programming language,Model–view–controller,Computer science,User modeling,Web application,User interface design,User interface,User requirements document,Event-driven programming
Conference
ISBN
Citations 
PageRank 
978-1-5386-2073-1
0
0.34
References 
Authors
7
3
Name
Order
Citations
PageRank
Mats Carlsson197579.24
Olga Grinchtein200.68
Justin Pearson323724.28