Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/97671
Author(s): Ana C. R. Paiva
João C. P. Faria
Nikolai Tillmann
Raul A. M. Vidal
Title: A model-to-implementation mapping tool for automated model-based GUI testing
Issue Date: 2005
Abstract: This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical CUI objects that are the target of the user actions described in the model; and it automatically generates a Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.
Subject: Engenharia de computadores, Ciências da computação e da informação
Computer engineering, Computer and information sciences
Scientific areas: Ciências exactas e naturais::Ciências da computação e da informação
Natural sciences::Computer and information sciences
URI: https://repositorio-aberto.up.pt/handle/10216/97671
Document Type: Artigo em Revista Científica Internacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Revista Científica Internacional

Files in This Item:
File Description SizeFormat 
62771.pdf
  Restricted Access
204.87 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.