Black-Box Verification for GUI Applications
This addresses the reliability of GUI testing for software developers, though it appears incremental as it supplements existing black-box testing approaches.
The authors tackled the problem of verifying black-box models for GUI application testing by proposing a method that provides guarantees of fault absence for all test cases derived from the model, with preliminary experiments showing practical potential.
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.