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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2020

Autores

Bruno Lima (Autor) FEUP; João Pascoal Faria (Autor) FEUP

Ata de Conferência Internacional

Título: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings

Páginas: 97-100

Indexação

ISI Web of Knowledge - 0 Citações

Scopus - 1 Citação

INSPEC

Outras Informações

ID Authenticus: P-00S-W23

DOI: 10.1145/3377812.3382142

Abstract (EN): 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).

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 4