The feasibility of interactively probing quiescent properties of GUI applications

Authors:
Peter Achten
Affiliations:
Department of Software Technology, Radboud University Nijmegen, Nijmegen, The Netherlands
Venue:
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Year:
2004

Citing 11
Cited 0

Eiffel: the language

Eiffel: the language
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Test Generation with Inputs, Outputs, and Quiescence

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Interactive Functional Objects in Clean

IFL '97 Selected Papers from the 9th International Workshop on Implementation of Functional Languages
Dynamic Types and Type Dependent Functions

IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
The Implementation of Interactive Local State Transition Systems in Clean

IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Porting the Clean Object I/O Library to Haskell

IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Theorem Proving for Functional Programmers

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Lazy dynamic input/output in the lazy functional language clean

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Lazy assertions

IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition systems with quiescence. These properties can be added and removed at run-time. It is guaranteed that they are type-correct. We investigate the consequences of such an approach for one particular functional GUI library, Object I/O. The goal is to gain confidence in the quality of interactive applications, and to seek properties that can be proven correct, perhaps using formal proof tools.