loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Bruno Lima and João Faria

Affiliation: FEUP and INESC TEC, Portugal

Keyword(s): Model-based Integration Testing, Conformance Checking, Distributed Systems, Time Constraints, UML.

Related Ontology Subjects/Areas/Topics: Distributed and Mobile Software Systems ; Distributed Architectures ; Software Engineering ; Software Engineering Methods and Techniques ; Software Testing and Maintenance

Abstract: The provisioning of a growing number of services depends on the proper interoperation of multiple products, forming a new distributed system, often subject to timing requirements. To ensure the interoperability and timely behavior of this new distributed system, it is important to conduct integration tests that verify the interactions with the environment and between the system components. Integration test scenarios for that purpose may be conveniently specified by means of UML sequence diagrams (SDs) enriched with time constraints. The automation of such integration tests requires that test components are also distributed, with a local tester deployed close to each system component, coordinated by a central tester. The distributed observation of execution events, combined with the impossibility to ensure clock synchronization in a distributed system, poses special challenges for checking the conformance of the observed execution traces against the specification, possibly yi elding inconclusive verdicts. Hence, in this paper we investigate decision procedures and criteria to check the conformance of observed execution traces against a specification set by a UML SD enriched with time constraints. The procedures and criteria are specified in a formal language that allows executing and validating the specification. Examples are presented to illustrate the approach. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.90.25

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Lima, B. and Faria, J. (2017). Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. In Proceedings of the 12th International Conference on Software Technologies - ICSOFT; ISBN 978-989-758-262-2; ISSN 2184-2833, SciTePress, pages 459-466. DOI: 10.5220/0006474004590466

@conference{icsoft17,
author={Bruno Lima. and João Faria.},
title={Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams},
booktitle={Proceedings of the 12th International Conference on Software Technologies - ICSOFT},
year={2017},
pages={459-466},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006474004590466},
isbn={978-989-758-262-2},
issn={2184-2833},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Software Technologies - ICSOFT
TI - Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
SN - 978-989-758-262-2
IS - 2184-2833
AU - Lima, B.
AU - Faria, J.
PY - 2017
SP - 459
EP - 466
DO - 10.5220/0006474004590466
PB - SciTePress