Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Local Observability and Controllability Enforcement in Distributed Testing
Publication

Publications

Local Observability and Controllability Enforcement in Distributed Testing

Title
Local Observability and Controllability Enforcement in Distributed Testing
Type
Article in International Conference Proceedings Book
Year
2019
Authors
Bruno Lima
(Author)
FEUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Robert Hierons
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Conference proceedings International
Pages: 327-338
12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019
11 September 2019 through 13 September 2019
Indexing
Other information
Authenticus ID: P-00R-20R
Resumo (PT):
Abstract (EN): To ensure interoperability and the correct end-to-end behavior of heterogenous distributed systems, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. The automation of such integration tests requires that test components are also distributed, with local testers deployed close to the system components, coordinated by a central tester. In such a test architecture, it is important to maximize the autonomy of the local testers to minimize the communication overhead and maximize the fault detection capability. A test scenario is called locally observable and locally controllable, if conformance errors can be detected locally and test inputs can be decided locally, respectively, by the local testers, without the need for exchanging coordination messages between the test components during test execution (i.e., without any communication overhead). For test scenarios specified by means of UML sequence diagrams that don¿t exhibit those properties, we present in this paper an approach with tool support to automatically find coordination messages that, added to the given scenario, make it locally controllable and locally observable. © Springer Nature Switzerland AG 2019.
Language: English
Type (Professor's evaluation): Scientific
No. of pages: 12
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints (2020)
Article in International Scientific Journal
Bruno Lima; João Pascoal Faria; Robert Hierons
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-17 at 02:13:20 | Privacy Policy | Personal Data Protection Policy | Whistleblowing