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

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

Authors

Bruno Lima (Author) FEUP

Conference proceedings International

Title: 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)

Pages: 486-488

12th IEEE International Conference on Software Testing, Verification and Validation (ICST)

Xian, PEOPLES R CHINA, APR 22-27, 2019

Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 6 Citations

Other information

Authenticus ID: P-00Q-RH2

DOI: 10.1109/icst.2019.00060

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

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 3