Go to:
Logótipo
Você está em: Start > Publications > View > An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Map of Premises
Principal
Publication

An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems

Title
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Type
Article in International Conference Proceedings Book
Year
2015
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
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Scientific classification
FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering
Other information
Authenticus ID: P-00G-QYM
Abstract (EN): The growing dependence of our society on increasingly complex software systems, makes software testing ever more important and challenging. In many domains, such as healthcare and transportation, several independent systems, forming a heterogeneous and distributed system of systems, are involved in the provisioning of endto- end services to users. However, existing testing techniques, namely in the model-based testing field, provide little tool support for properly testing such systems. Hence, in this paper, we propose an approach and a toolset architecture for automating the testing of end-to-end services in distributed and heterogeneous systems. The tester interacts with a visual modeling frontend to describe key behavioral scenarios, invoke test generation and execution, and visualize test results and coverage information back in the model. The visual modeling notation is converted to a formal notation amenable for runtime interpretation in the backend. A distributed test monitoring and control infrastructure is responsible for interacting with the components of the system under test, as test driver, monitor and stub. At the core of the toolset, a test execution engine coordinates test execution and checks the conformance of the observed execution trace with the expectations derived from the visual model. A real world example from the Ambient Assisted Living domain is presented to illustrate the approach.
Language: English
Type (Professor's evaluation): Scientific
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
A testing and certification methodology for an open Ambient-Assisted Living ecosystem (2014)
Article in International Scientific Journal
João Pascoal Faria; Bruno Lima; Tiago Boldt Sousa; Ângelo Martins
Visual Self-healing Modelling for Reliable Internet-of-Things Systems (2020)
Article in International Conference Proceedings Book
João Pedro Dias; Bruno Lima; João Pascoal Faria; André Restivo; Hugo Sereno Ferreira
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets (2016)
Article in International Conference Proceedings Book
Lima, B; João Pascoal Faria

See all (22)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-19 at 14:12:35 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book