WebMonitor: Verification of Web User Interfaces
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
Article No.: 170, Pages 1 - 4
Abstract
Application development for the modern Web involves sophisticated engineering workflows which include user interface aspects. Those involve Web elements typically created with HTML/CSS markup and JavaScript-like languages, yielding Web documents. WebMonitor leverages requirements formally specified in a logic able to capture both the layout of visual components as well as how they change over time, as a user interacts with them. Then, requirements are verified upon arbitrary web pages, allowing for automated support for a wide set of use cases in interaction testing and simulation. We position WebMonitor within a developer workflow, where in case of a negative result, a visual counterexample is returned. The monitoring framework we present follows a black-box approach, and as such is independent of the underlying technologies a Web application may be developed with, as well as the browser and operating system used.
WebMonitoris available as open source software: https://github.com/ennioVisco/webmonitor
Video demonstration of WebMonitor: https://youtu.be/hqVw0JU3k9c
References
[1]
Ezio Bartocci, Luca Bortolussi, Michele Loreti, and Laura Nenzi. 2017. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. In Proc. of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (Vienna, Austria) (MEMOCODE ’17). Association for Computing Machinery, New York, NY, USA, 146–155. https://doi.org/10.1145/3127041.3127050
[2]
Elika Etemad and Tab Atkins Jr.2018. Selectors Level 4. W3C Working Draft. W3C. https://www.w3.org/TR/2018/WD-selectors-4-20181121/.
[3]
Ilya Grigorik. 2020. Introducing Web Vitals: essential metrics for a healthy site. blog.chromium.org/2020/05/introducing-web-vitals-essential-metrics.html. Accessed: 2021-12-16.
[4]
Web Hypertext Application Technology Working Group (WHATWG) 2022. HTML Living Standard. Web Hypertext Application Technology Working Group (WHATWG). html.spec.whatwg.org/multipage/webappapis.html#event-loop
Index Terms
- WebMonitor: Verification of Web User Interfaces
Index terms have been assigned to the content through auto-classification.
Recommendations
Web 3.0: The Dawn of Semantic Search
Emerging Web 3.0 applications use semantic technologies to augment the underlying Web system's functionalities.
Engineering Rich Internet Application User Interfaces over Legacy Web Models
A steadily growing trend in Web applications is the development of user interfaces through rich Internet applications. Among other capabilities, RIAs offer high interactivity and native multimedia support, giving them a major advantage over standard ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2022
2006 pages
ISBN:9781450394758
DOI:10.1145/3551349
Copyright © 2022 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 05 January 2023
Check for updates
Author Tags
Qualifiers
- Short-paper
- Research
- Refereed limited
Funding Sources
- FWF
Conference
ASE '22
ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering
October 10 - 14, 2022
MI, Rochester, USA
Acceptance Rates
Overall Acceptance Rate 82 of 337 submissions, 24%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 247Total Downloads
- Downloads (Last 12 months)155
- Downloads (Last 6 weeks)19
Reflects downloads up to 17 Dec 2024
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatLogin options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in