Investigação em Verificação & Validação de Software na Faculdade de Engenharia da Universidade do Porto Ana C. R. Paiva; João C. P. Faria; Raul M. Vidal; Lia Patrício; João F. Cunha Faculdade de Engenharia da Universidade do Porto Rua Dr. Roberto Frias, s/n 4200-465 Porto, PORTUGAL +351 508 1400 {apaiva;jpf;rmvidal;lpatric;jfcunha}@fe.up.pt Resumo Este artigo apresenta uma visão geral do trabalho de investigação realizado na Faculdade de Engenharia da Universidade do Porto (FEUP) na área de verificação e validação de software. Descrevem-se as principais áreas de actuação dos investigadores envolvidos na rede REVVIS e descrevem-se também as experiências e projectos mais relevantes neste contexto, nomeadamente a investigação relacionada com o teste de interfaces gráficas com o utilizador baseado em modelos e avaliação e desenvolvimento de sistemas interactivos de prestação de serviços entre outros. Abstract This paper presents a global overview about the research work that is being developed in the Faculty of Engineering of the University of Porto (FEUP) on Software Verification and Validation. The main interests of the researchers' members of the REVVIS net are described in more detail as well as the main projects and experiments significant in this context namely, research on model-based testing of GUIs and on evaluation and development of interactive systems as service providers, among others. Categorias e descritores de temas D.2 [Engenharia de Software]: D.2.1 Requisitos/Especificação, D.2.4 verificação e validação de software, D.2.5 teste de software. H.1 [Modelos e Princípios]: H.1.2 Factores Humanos e Análise de informação dos utilizadores. Termos Gerais Verificação, Factores Humanos. Palavras-chave Teste de software, interfaces com o utilizador, usabilidade, verificação e validação de software. 1. INTRODUÇÃO A Faculdade de Engenharia da Universidade do Porto (FEUP) (www.fe.up.pt) situa-se na maior cidade do norte de Portugal, o Porto. O centro histórico do Porto, classificado como Património mundial pela UNESCO, é um dos lugares mais atractivos para os visitantes, tanto pela monumentalidade, como pelos bairros populares, incluindo edificações que remontam ao séc. XIV. É uma cidade internacionalmente conhecida pelo comércio do vinho do Porto. A cidade do Porto foi escolhida como Capital Europeia da Cultura, em 2001, juntamente com Roterdão. Descendente da academia politécnica criada em 1837, a FEUP é hoje uma instituição de prestígio no panorama internacional pela qualidade do ensino e pela investigação em engenharia que pratica. A FEUP tem como missão a formação de profissionais de engenharia a nível internacional sustentada em investigação e desenvolvimento de excelência contemplando as vertentes científica, técnica, ética e cultural. A FEUP está organizada hierarquicamente em departamentos e secções e dispõe de serviços de apoio a toda a faculdade incluído: um centro de informática – responsável pela gestão dos recursos informáticos, e do sistema de informação interno; uma biblioteca – dotada dos mais modernos recursos de informação para a investigação e o ensino; serviços académicos administrativos e de relações externas; facilidades multimédia e unidades de orientação e integração na vida activa. A FEUP serve presentemente cerca de 5000 alunos de primeiro ciclo e de mestrados integrados e cerca de 1000 alunos de mestrados autónomos e programas de doutoramento. Conta presentemente com cerca de 500 docentes e investigadores nas diversas áreas de engenharia (bioengenharia, engenharia do ambiente, engenharia civil, engenharia electrotécnica e de computadores, engenharia informática e computação, engenharia industrial e gestão, engenharia química, engenharia mecânica, etc.). Os investigadores da FEUP que participam na REVVIS são oriundos do Grupo de Engenharia de Software (GES) (www.fe.up.pt/softeng) da Secção de Informática (SI) do Departamento de Engenharia Electrotécnica e de Computadores (DEEC) e da Secção de Gestão e Engenharia Industrial (SGEI) do Departamento de Engenharia Mecânica e Gestão Industrial (DEMEGI). 2. PRINCIPAIS ÁREAS DE ACTUAÇÃO O Grupo de Engenharia de Software (GES) reúne investigadores e estudantes de pós-graduação com interesses por diversas áreas da