Testing Pushdown Systems

07/23/2021
by   Adilson Luiz Bonifacio, et al.
0

Testing on reactive systems is a well-known laborious activity on software development due to their asynchronous interaction with the environment. In this setting model based testing has been employed when checking conformance and generating test suites of such systems using labeled transition system as a formalism as well as the classical ioco conformance relation. In this work we turn to a more complex scenario where the target systems have an auxiliary memory, a stack. We then studied a more powerful model, the Visibly Pushdown Labeled Transition System (VPTS), its variant Input/Output VPTS (IOVPTS), its associated model Visibly Pushdown Automaton (VPA), and aspects of conformance testing and test suite generation. This scenario is much more challenge since the base model has a pushdown stack to capture more complex behaviors which commonly found on reactive systems. We then defined a more general conformance relation for pushdown reactive systems such that it prevents any observable implementation behavior that was not already present in the given specification. Further we gave an efficient algorithm to check conformance in this testing scenario and also showed that it runs in worst case asymptotic polynomial time in the size of both the given specification and the implementation that are put under test.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/14/2023

Conformance Checking for Pushdown Reactive Systems based on Visibly Pushdown Languages

Testing pushdown reactive systems is deemed important to guarantee a pre...
research
11/01/2020

A Model-Based Testing Tool for Asynchronous Reactive Systems

Reactive systems are characterized by the interaction with the environme...
research
08/30/2023

Provengo: A Tool Suite for Scenario Driven Model-Based Testing

We present Provengo, a comprehensive suite of tools designed to facilita...
research
05/22/2019

Automatically Checking Conformance on Asynchronous Reactive Systems

Software testing is an important issue in software development process t...
research
02/07/2019

Complete Test Suites for Input/Output Systems

Model based testing is a well-established approach to verify I/O labeled...
research
11/29/2018

From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server

We present the first formal verification of a networked server implement...
research
09/09/2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

I/O conformance testing theories (e.g., ioco) are concerned with formall...

Please sign up or login with your details

Forgot password? Click here to reset