English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Reactive systems are characterized by the interaction with the environment,where the exchange of the input and output stimuli, usually, occursasynchronously. Systems of this nature, in general, require a rigorous testingactivity over their developing process. Therefore model-based testing has beensuccessfully applied over asynchronous reactive systems using Input OutputLabeled Transition Systems (IOLTSs) as the basis. In this work we present areactive testing tool to check conformance, generate test suites and run testcases using IOLTS models. Our tool can check whether the behavior of animplementation under test (IUT) complies with the behavior of its respectivespecification. We have implemented a classical conformance relation \ioco and amore general notion of conformance based on regular languages. Further, thetool provides a test suite generation in a black-box testing setting forfinding faults over IUTs according to a specific domain. We have also describedsome case studies to probe the tool's functionalities and also to highlight acomparative analysis on both conformance approaches. Finally, we offerexperiments to evaluate the performance of our tool using several scenarios.

A Model-Based Testing Tool for Asynchronous Reactive Systems