Home // ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances // View article

Automatically Checking Conformance on Asynchronous Reactive Systems

Authors:
Camila Sonoda Gomes
Adilson Luiz Bonifacio

Keywords: model-based testing; conformance testing; automatic verification; reactive systems.

Abstract:
Software testing is an important issue in the software development process to ensure the quality of products. Formal methods have been promising on testing reactive systems, where accuracy is mandatory and any fault can cause severe damage. Systems of this nature are characterized by receiving messages from the environment and producing outputs in response. One of the biggest challenges in model-based testing is the conformance checking of asynchronous reactive systems. The aim is to verify if an implementation complies with its respective specification. In this work, we study conformance checking for reactive systems specified by Input Output Labeled Transition Systems (IOLTS). We develop a practical tool to check the conformance relation between reactive models using the classical ioco relation and a more general theory based on regular languages. In addition, we present some testing scenarios in practical applications and compare them to other tools from the literature using both notions of conformance.

Pages: 17 to 23

Copyright: Copyright (c) IARIA, 2019

Publication date: November 24, 2019

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-752-8

Location: Valencia, Spain

Dates: from November 24, 2019 to November 28, 2019