Testing pushdown reactive systems is deemed important to guarantee a precise and robust software development process. Usually, such systems can be specified by the formalism of Input/Output Visibly Pushdown Labeled Transition System (IOVPTS), where the interaction with the environment is regulated by a pushdown memory. Hence a conformance checking can be applied in a testing process to verify whether an implementation is in compliance to a specification using an appropriate conformance relation. In this work we establish a novelty conformance relation based on Visibly Pushdown Languages (VPLs) that can model sets of desirable and undesirable behaviors of systems. Further, we show that test suites with a complete fault coverage can be generated using this conformance relation for pushdown reactive systems.
@article{arxiv.2308.07177,
title = {Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages},
author = {Adilson Luiz Bonifacio},
journal= {arXiv preprint arXiv:2308.07177},
year = {2023}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2107.11421