WebMonitor: Verification of Web User Interfaces

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering Pub Date : 2022-10-10 DOI:10.1145/3551349.3559538

Ennio Visconti, Christos Tsigkanos, L. Nenzi

{"title":"WebMonitor: Verification of Web User Interfaces","authors":"Ennio Visconti, Christos Tsigkanos, L. Nenzi","doi":"10.1145/3551349.3559538","DOIUrl":null,"url":null,"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","PeriodicalId":197939,"journal":{"name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3551349.3559538","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

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

查看原文本刊更多论文

WebMonitor:验证Web用户界面

现代Web的应用程序开发涉及复杂的工程工作流，其中包括用户界面方面。这涉及到通常用HTML/CSS标记和类似javascript的语言创建的Web元素，从而产生Web文档。WebMonitor利用在逻辑中正式指定的需求，能够捕获可视化组件的布局以及它们在用户与它们交互时如何随时间变化。然后，在任意网页上验证需求，允许在交互测试和模拟中对广泛的用例集进行自动化支持。我们将WebMonitor放置在开发人员工作流中，如果结果是否定的，将返回一个可视化的反例。我们提供的监视框架遵循黑盒方法，因此它独立于可能用于开发Web应用程序的底层技术，以及所使用的浏览器和操作系统。WebMonitor开源软件:https://github.com/ennioVisco/webmonitor WebMonitor视频演示:https://youtu.be/hqVw0JU3k9c

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

自引率

0.00%

发文量