Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages

TL;DR

This paper introduces a novel conformance relation based on Visibly Pushdown Languages for testing pushdown reactive systems, enabling the generation of comprehensive test suites with complete fault coverage.

Contribution

It proposes a new conformance relation utilizing VPLs to model system behaviors and demonstrates how to generate complete fault coverage test suites for pushdown systems.

Findings

New conformance relation based on VPLs

Complete fault coverage test suite generation

Applicable to pushdown reactive systems

Abstract

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.