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

• Type: Article in International Conference Proceedings Book
• Date: 2020

Authors

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

Conference proceedings International

Title: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings

Pages: 97-100

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 1 Citation

INSPEC

Other information

Authenticus ID: 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).

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 4