Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About
Download Photo HD

About

My name is Bruno Lima, I have been a collaborator of INESC TEC since September 2013, when, during my master's dissertation, I joined the AAL4ALL project.

Currently I am a PhD student in the Doctoral Program in Informatics Engineering (PRODEI) at FEUP where I am also a Assistant Lecturer at the Department of Informatics Engineering. I am also part of the research team of the Centre for Information Systems and Computer Graphics (CSIG) at INESC TEC where I participate in research projects in the area of software engineering, more specifically in software testing.

To know more about me visit my personal page here.

Interest
Topics
Details

Details

001
Publications

2020

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

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

Publication
Lecture Notes in Computer Science - Computational Science – ICCS 2020

Abstract

2020

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

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

Publication
IEEE Access

Abstract

2020

DCO analyzer

Authors
Lima, B; Faria, JP;

Publication
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

Authors
Lima, B; Faria, JP;

Publication
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

Authors
Lima, B;

Publication
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.

Supervised
thesis

2018

A Pattern-based Testing Framework for IoT Ecosystems

Author
Pedro Martins Pontes

Institution
UP-FEUP

2017

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

Author
José Alberto de Carvalho Cardoso

Institution
UP-FEUP

2017

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Author
João António Custódio Soares

Institution
UP-FEUP

2017

Software Engineering for Healthcare IoT Ecosystems

Author
Pedro Martins Pontes

Institution
UP-FEUP

2016

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

Author
Tiago Fernando Sousa Coelho

Institution
UP-FEUP