TY - JOUR AU - Bonifacio, Adilson Luiz AU - Gomes, Camila Sonoda PY - 2021/08/26 Y2 - 2024/03/28 TI - EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive Systems JF - Journal of Software Engineering Research and Development JA - JSERD VL - 9 IS - 1 SE - Research Article DO - 10.5753/jserd.2021.1094 UR - https://sol.sbc.org.br/journals/index.php/jserd/article/view/1094 SP - 6:1 - 6:14 AB - <p>Reactive systems are characterized by their interaction with the environment, where the exchange of the input and output stimuli, usually, occurs asynchronously. Systems of this nature, in general, require a rigorous testing activity in the development process.Thereforemodel­basedtestinghasbeensuccessfullyappliedoverasynchronousreactive systems using Input Output Labeled Transition System (IOLTS) as the basis. In this work, we present are active testing tool to check conformance, generate test suites, and run test cases using IOLTS models. Our tool can check whether the behavior of an implementation under test (IUT) complies with the behavior of its respective specification. We have implemented two conformance relations in our tool: the classical ioco relation; and the conformance based on regular languages. The tool also provides a test suite generation in a black­box testing setting for finding faults over IUTs according to a specific domain. In addition, we describe some case studies to probe the tool’s functionalities and also give a comparative analysis. Finally, we offer practical experiments to evaluate the performance of our tool using several scenarios.</p> ER -