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

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

Autores

Bruno Lima (Autor) FEUP

Ata de Conferência Internacional

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

Páginas: 486-488

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

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

Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 6 Citações

Outras Informações

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

Idioma: Inglês

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

Nº de páginas: 3