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
Aceitar Rejeitar
  • 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
  • Desde

    01 setembro 2013
001
Publicações

2020

Visual Self-healing Modelling for Reliable Internet-of-Things Systems

Autores
Dias, JP; Lima, B; Faria, JP; Restivo, A; Ferreira, HS;

Publicação
Lecture Notes in Computer Science - Computational Science – ICCS 2020

Abstract

2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing with Time Constraints

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

Publicação
IEEE Access

Abstract

2020

DCO analyzer

Autores
Lima, B; Faria, JP;

Publicação
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings

Abstract

2020

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios

Autores
Lima, B; Faria, JP;

Publicação
ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020

Abstract
To ensure interoperability and the correct behavior of heterogeneous distributed systems in key scenarios, it is important to conduct automated integration tests, based on distributed test components (called local testers) that are deployed close to the systemcomponents to simulate inputs from the environment and monitorthe interactions with the environment and other system components. We say that a distributed test scenario is locally controllableand locally observable if test inputs can be decided locally andconformance errors can be detected locally by the local testers,without the need for exchanging coordination messages betweenthe test components during test execution (which may reduce theresponsiveness and fault detection capability of the test harness).DCO Analyzer is the first tool that checks if distributed test scenarios specified by means of UML sequence diagrams exhibit thoseproperties, and automatically determines a minimum number ofcoordination messages to enforce them.The demo video for DCO Analyzer can be found at https://youtu.be/LVIusK36. © 2020 Copyright held by the owner/author(s).

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.

Teses
supervisionadas

2018

A Pattern-based Testing Framework for IoT Ecosystems

Autor
Pedro Martins Pontes

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

2017

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

Autor
José Alberto de Carvalho Cardoso

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