Applied Awareness: Test-Driven GUI Development using Computer Vision and Cryptography

06/05/2020
by   Donald Beaver, et al.
0

Graphical user interface testing is significantly challenging, and automating it even more so. Test-driven development is impractical: it generally requires an initial implementation of the GUI to generate golden images or to construct interactive test scenarios, and subsequent maintenance is costly. While computer vision has been applied to several aspects of GUI testing, we demonstrate a novel and immediately applicable approach of interpreting GUI presentation in terms of backend communications, modeling "awareness" in the fashion employed by cryptographic proofs of security. This focus on backend communication circumvents deficiencies in typical testing methodologies that rely on platform-dependent UI affordances or accessibility features. Our interdisciplinary work is ready for off-the-shelf practice: we report self-contained, practical implementation with both online and offline validation, using simple designer specifications at the outset and specifically avoiding any requirements for a bootstrap implementation or golden images. In addition to practical implementation, ties to formal verification methods in cryptography are explored and explained, providing fertile perspectives on assurance in UI and interpretability in AI.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/25/2023

Security Impact Analysis of Degree of Field Extension in Lattice Attacks on Ring-LWE Problem

Modern information communications use cryptography to keep the contents ...
research
06/02/2023

Quantum Cryptography for Enhanced Network Security: A Comprehensive Survey of Research, Developments, and Future Directions

With the ever-growing concern for internet security, the field of quantu...
research
08/11/2023

Validation-Driven Development

Formal methods play a fundamental role in asserting the correctness of r...
research
02/22/2023

CryptoScratch: Developing and evaluating a block-based programming tool for teaching K-12 cryptography education using Scratch

This paper presents the design, implementation, and evaluation of a new ...
research
12/14/2018

More Effective Ontology Authoring with Test-Driven Development

Ontology authoring is a complex process, where commonly the automated re...
research
05/05/2020

A new design of a flying robot, with advanced computer vision techniques to perform self-maintenance of smart grids

In this paper, we present a full design of a flying robot to investigate...
research
03/05/2019

Implementing Microservices through Microtasks

Microtask programming is a form of crowdsourcing for programming in whic...

Please sign up or login with your details

Forgot password? Click here to reset