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

O software está cada vez mais presente na nossa vida, abrangendo áreas diversificadas como sistemas de navegação, sistemas de controlo, sistemas de suporte a serviços, sistemas de suporte ao ensino, etc. Neste contexto, a qualidade do software é um aspeto crítico que deve ser considerado seriamente.

A Engenharia de Software preocupa-se com as questões de qualidade do software, ou seja, garantir que o software seja construído de uma forma sistemática, rigorosa, mensurável, dentro do prazo, dentro do orçamento e de acordo com as especificações.

O Laboratório de Engenharia de Software pertence ao Departamento de Engenharia Informática da FEUP. Está localizado no Edifício I (122) da FEUP. Nele realizam trabalho de investigação investigadores associados ao Centro de Sistemas e Computação Gráfica do INESC TEC, na área de Engenharia de Software, bem como alguns estudantes de mestrado, doutoramento e bolseiros da FEUP não associados ao INESC TEC.

A nossa missão é:

  • desenvolver novos métodos, técnicas e ferramentas que promovam a forma como o software é projetado, sintetizado e avaliado;
  • assegurar que os resultados da nossa investigação tenham um impacto duradouro na prática de desenvolvimento de software;
  • oferecer aos alunos uma educação que os prepare para assumir um papel de liderança em projetos complexos de desenvolvimento de software; e
  • contribuir para melhorar a competitividade da indústria.

Localização: Campus FEUP, Porto

Áreas de Investigação

Áreas de Investigação

Área geral:

  • Engenharia de software

Áreas mais específicas:

  • Teste de software
  • Padrões de software
  • Melhoria de processos de software
  • Gestão do conhecimento em engenharia de software
  • Evolução de requisitos de software
  • Jogos sérios para ensino de engenharia de software
  • Métodos ágeis 
Centros e Stakeholders

INESC TEC

HumanISE
CentroComputação Centrada no Humano e Ciência da Informação

Stakeholders

FEUP
UniversidadeFaculdade de Engenharia da Universidade do Porto
Protótipos

Protótipos desenvolvidos no Laboratório de Engenharia de Software

PBGT

Pattern Based GUI testing   O objetivo principal deste projeto é melhorar os métodos e ferramentas de teste de GUI baseados em modelos atuais, contribuindo para construir uma abordagem de teste efetivamente aplicável no setor e contribuir para a construção de GUIs e sistemas de software de qualidade superior. Um dos problemas a serem superados ao implementar uma abordagem de teste GUI baseada em modelo é o tempo necessário para construir o modelo e o problema de explosão do caso de teste. Escolhendo o nível de abstração correto do modelo, extraindo parte desse modelo por um processo de engenharia reversa e direcionando os casos de teste para cobrir o comportamento recorrente comum parece ser a melhor solução para resolver os problemas.

REQAnalytics

A Recommender System for Requirements Maintenance

UML Checker

Conformance Testing against UML Sequence Diagrams   O nosso novo conjunto de ferramentas suporta o teste automático de implementações Java contra especificações de comportamento, constituídas por diagramas de sequência UML prontos para serem testados.

ProcessPAIR

Automated Software Process Performance Analysis and Improvement Recommendation   ProcessPAIR é uma ferramenta inovadora para análises automáticas baseadas em modelos de dados de desempenho, produzidos no contexto de processos de software de alta maturidade, tal como o Personal Software Process (PSP)/Team Software Process (TSP).

GenT

Automatic Unit Test Generation for Generic Types   A ferramenta GenT, desenvolvida no contexto do projeto QUEST, gera testes JUnit e classes simuladas associadas para testar implementações de tipos de dados abstratos em Java com genéricos, com base em especificações algébricas no ConGu. As implementações dos parâmetros de tipo das classes genéricas são sintetizadas automaticamente pela ferramenta como classes simuladas. Baseia-se nas capacidades de busca do modelo Alloy para encontrar instâncias particulares que exercem os axiomas na especificação.

Contactos