Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

Ana Paiva (publica como Ana C. R. Paiva) é Professora Auxiliar no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, onde trabalha desde 1999. Ela é investigadora no INESC TEC na área de Engenharia de Software e membro do Grupo de Engenharia de Software que reúne investigadores e pós-graduados com interesses comuns em Engenharia de Software. É responsável por unidades curriculares como Teste de Software, Métodos Formais e Engenharia de Software, entre outras. Tem um doutoramento em Engenharia Electrotécnica e Computadores da FEUP, com uma tese intitulada Automated Specification Based Testing of Graphical User Interfaces. A sua especialidade é a implementação e automação do processo de teste baseado em modelos. Desenvolveu trabalho de investigação em colaboração com o grupo FSE (Foundation of Software Engineering) da Microsoft Research, onde teve a oportunidade de estender a ferramenta de testes da Microsoft baseada em modelo, Spec Explorer, para o teste de GUIs. É a investigadora responsável de um projeto financiado pela FCT com o tema Pattern-Based Testing GUI (PBGT). Pertence à Assemblia Geral da PSTQB (Associação Portuguesa de Testes de Software), é membro dos grupos internacionais de trabalho do ISTQB: TBok, Glossary, MBT Examination, membro do Conselho do Departamento de Engenharia Informática, e membro da Comissão Executiva do Departamento de Engenharia Informática.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Ana Cristina Paiva
  • Cluster

    Informática
  • Cargo

    Investigador Sénior
  • Desde

    01 fevereiro 2014
001
Publicações

2021

Test Case Generation From Web Usage Information

Autores
Garcia, JE; Paiva, ACR; Bizoi, AM;

Publicação
Procedia Computer Science

Abstract

2021

Experiences on teaching alloy with an automated assessment platform

Autores
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, D;

Publicação
Science of Computer Programming

Abstract

2021

Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language

Autores
Gomes, AC; Paiva, ACR; da Silva, AR;

Publicação
Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

Abstract

2021

Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Autores
Paiva, ACR; Cavalli, AR; Martins, PV; Castillo, RP;

Publicação
QUATIC

Abstract

2020

Teaching software engineering topics through pedagogical game design patterns: An empirical study

Autores
Flores, N; Paiva, ACR; Cruz, N;

Publicação
Information (Switzerland)

Abstract
Teaching software engineering in its many different forms using traditional teaching methods is difficult. Serious games can help overcome these challenges because they allow real situations to be simulated. However, the development of serious games is not easy and, although there are good practices for relating game design patterns to teaching techniques, there is no methodology to support its use in a specific context such as software engineering. This article presents a case study to validate a methodology that links the Learning and Teaching Functions (LTF) to the Game Design Patterns (PIB) in the context of Software Engineering Education. A serious game was developed from scratch using this methodology to teach software estimation (a specific topic of software engineering). An experiment was carried out to validate the effectiveness of the game by comparing the results of two different groups of students. The results indicate that the methodology can help to develop effective educational games on specific learning topics. © 2020 by the authors.

Teses
supervisionadas

2020

Change Impact Analysis Based on Business Process Model

Autor
Acilio António Correia Silva

Instituição
UP-FEUP

2020

From Requirements Specification to Tests Execution: An Integrated Approach from Acceptance Tests Perspective

Autor
João Gabriel Longo de Miranda

Instituição
UP-FEUP

2020

Cost Reduction Technique for Mutation Testing

Autor
Francisco Bernardo Azevedo

Instituição
UP-FEUP

2019

Android Crawler

Autor
Marco António Fernandes Gonçalves

Instituição
UP-FEUP

2019

Fault Injection in Android Applications

Autor
Adélia Helena Valentim Gonçalves

Instituição
UP-FEUP