Towards the Integration of Visual and Formal Models for GUI Testing

Ana C.R. Paiva, João C.P. Faria, Raul F.A.M. Vidal
2007 Electronical Notes in Theoretical Computer Science  
This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec ), hiding formal details from the testers.
more » ... n, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.
doi:10.1016/j.entcs.2007.08.010 fatcat:677ccah7ojhbbb3yx467znm4li