uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modelling and verification of user interactions using constraint programming
SICS, Stockholm, Sweden. (ASTRA)
Ericsson AB, Stockholm, Sweden.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (ASTRA)
2017 (English)In: Proc. 3rd International Conference on Software Quality, Reliability and Security, IEEE Computer Society, 2017, p. 541-547Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
IEEE Computer Society, 2017. p. 541-547
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-334655DOI: 10.1109/QRS-C.2017.92ISI: 000426819400084ISBN: 978-1-5386-2072-4 (electronic)ISBN: 978-1-5386-2073-1 (print)OAI: oai:DiVA.org:uu-334655DiVA, id: diva2:1160260
Conference
IEEE International Conference On Software Quality, Reliability And Security Companion (Qrs-C), 2017, July 25–29, Prague, Czech Republic.
Funder
Swedish Foundation for Strategic Research Available from: 2017-08-18 Created: 2017-11-25 Last updated: 2018-06-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Pearson, Justin

Search in DiVA

By author/editor
Pearson, Justin
By organisation
Computing Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 45 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf