Formal Modelling of Java GUI Event Handling

Chen, Jessica

doi:10.1007/3-540-36103-0_37

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction and Overview1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2012

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Until now, the topic of GUI applications as a target of formal, static analysisbased verification has received little attention (see, however, [7,12,14] for initial attempts). It is generally agreed that a static analysis cannot adequately account for the GUI toolkit (even its source code was fully available, which is generally not the case).…”

Section: Introduction and Overviewmentioning

confidence: 99%

Black-Box Verification for GUI Applications

Arlt,

Ermis,

Feo-Arenis

et al. 2012

Preprint

View full text Add to dashboard Cite

In black-box testing of GUI applications (a form of system testing), a dynamic analysis of the GUI application is used to infer a black-box model; the black-box model is then used to derive test cases for the test of the GUI application. In this paper, we propose to supplement the test with the verification of the black-box model. We present a method that can give a guarantee of the absence of faults, i.e., the correctness of all test cases of the black-box model. The black-model allows us to formulate a parametrized verification problem. As we will show, it also allows us to circumvent the static analysis of the GUI tool kit. We have implemented our approach; preliminary experiments indicate its practical potential.

show abstract

Section: Introduction and Overviewmentioning

confidence: 99%