Sökning: onr:"swepub:oai:DiVA.org:uu-334655" >
Modelling and verif...
Modelling and verification of user interactions using constraint programming
-
- Carlsson, Mats (författare)
- RISE,SICS,Computer Systems Laboratory,
-
- Grinchtein, Olga (författare)
- Ericsson AB, Stockholm, Sweden
-
- Pearson, Justin (författare)
- Uppsala universitet,Datalogi,ASTRA,Uppsala University, Sweden
-
(creator_code:org_t)
- IEEE Computer Society, 2017
- 2017
- Engelska.
-
Ingår i: Proc. 3rd International Conference on Software Quality, Reliability and Security. - : IEEE Computer Society. - 9781538620724 - 9781538620731 ; , s. 541-547
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas