Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

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, i...

Full description

Saved in:
Bibliographic Details
Published in2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) pp. 486 - 488
Main Author Lima, Bruno
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2019
Subjects
Computer architecture
Conferences
Control lability
Controllability
Distributed Systems
Integration Testing
Model-Based Testing
Observability
Testing
Time-constraints
UML
Unified modeling language
Online AccessGet full text
DOI10.1109/ICST.2019.00060

Cover

More Information
Summary: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.
DOI:10.1109/ICST.2019.00060