Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/91954
Autor(es): | Ana C. R. Paiva Joao C. P. Faria Pedro M. C. Mendes |
Título: | Reverse engineered formal models for GUI testing |
Data de publicação: | 2008 |
Resumo: | This 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. |
Assunto: | Tecnologia de software, Ciências da computação e da informação Software technology, Computer and information sciences |
Áreas do conhecimento: | Ciências exactas e naturais::Ciências da computação e da informação Natural sciences::Computer and information sciences |
URI: | https://hdl.handle.net/10216/91954 |
Fonte: | FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS |
Tipo de Documento: | Artigo em Livro de Atas de Conferência Internacional |
Condições de Acesso: | restrictedAccess |
Aparece nas coleções: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
54565.pdf Restricted Access | 693 kB | Adobe PDF | Request a copy from the Author(s) |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.