Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Fechar
  • Menu
Sobre
Download foto HD

Sobre

O meu nome é Bruno Lima, sou colaborador do INESC TEC desde setembro de 2013 quando, no decorrer da minha dissertação de mestrado ingressei no projeto AAL4ALL

Atualmente sou estudante de doutoramento no Programa Doutoral em Engenharia Informática (PRODEI) na FEUP onde também sou professor Assistente Convidado no departamento de engenharia informática (DEI). Faço também parte da equipa de investigação do Centro de Sistemas de Informação e de Computação Gráfica (CSIG) no INESC TEC onde participo em projetos de investigação na área da engenharia de software mais concretamente em teste de software.  

Para saber mais sobre mim visite a minha página pessoal aqui.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Bruno Carvalhido Lima
  • Cluster

    Informática
  • Cargo

    Assistente de Investigação
  • Desde

    01 setembro 2013
001
Publicações

2019

Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

Autores
Lima, B;

Publicação
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)

Abstract
In a growing number of domains, such as IoT for e-health and smart cities, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple systems, forming a new distributed system, often subject to timing constraints. To ensure interoperability and integrity, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. To solve the test automation challenges, we propose algorithms for decentralized conformance checking and test input generation, and for checking and enforcing the conditions (local observability and controllability) that allow decentralized test execution. With this, we expect to improve the fault detection and localization capabilities and reduce the communication overhead comparatively to other model-based testing approaches. Our approach will be validated using real case studies from industrial partners.

2019

Local Observability and Controllability Enforcement in Distributed Testing

Autores
Lima, B; Faria, JP; Hierons, R;

Publicação
Communications in Computer and Information Science - Quality of Information and Communications Technology

Abstract

2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Autores
Custódio Soares, JA; Lima, B; Faria, JP;

Publicação
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Abstract

2018

Automated scenario-based integration testing of distributed systems

Autores
Lima, B;

Publicação
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018

Abstract

2018

Towards Real-Time Patient Prioritization in Hospital Emergency Services

Autores
Lima, B; Faria, JP;

Publicação
2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom)

Abstract

Teses
supervisionadas

2018

A Pattern-based Testing Framework for IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
UP-FEUP

2017

Avaliação Automática de Programas em Contexto de E-learning

Autor
José Alberto de Carvalho Cardoso

Instituição
UP-FEUP

2017

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Autor
João António Custódio Soares

Instituição
UP-FEUP

2017

Software Engineering for Healthcare IoT Ecosystems

Autor
Pedro Martins Pontes

Instituição
UP-FEUP

2016

Automação de testes de aplicações móveis sem necessidade de programação

Autor
Tiago Fernando Sousa Coelho

Instituição
UP-FEUP