Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.creatorAna C. R. Paiva
dc.creatorJoao C. P. Faria
dc.creatorPedro M. C. Mendes
dc.description.abstractThis paper describes a process to reverse engineer structural and behavioural formal models of a GUI application by a dynamic technique, mixing manual with automatic exploration. The goal is to diminish the effort required to construct the model and mapping information needed in a model-based GUI testing process. A skeleton of a state machine model of the GUI, represented in a formal pre/post specification language, is generated automatically by the exploration process. Mapping information between the model and the implementation is also generated along the way. The model extracted automatically is then completed manually in order to get an executable model which can be used as a test oracle. Abstract test cases, including expected outputs, can be generated automatically from the final model and executed over the GUI application, using the mapping information generated during the exploration process.
dc.subjectTecnologia de software, Ciências da computação e da informação
dc.subjectSoftware technology, Computer and information sciences
dc.titleReverse engineered formal models for GUI testing
dc.typeArtigo em Livro de Atas de Conferência Internacional
dc.contributor.uportoFaculdade de Engenharia
dc.subject.fosCiências exactas e naturais::Ciências da computação e da informação
dc.subject.fosNatural sciences::Computer and information sciences
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

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

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