Conformance Checking and Pushdown Reactive Systems
-
Published:2023-03-18
Issue:3
Volume:25
Page:
-
ISSN:0717-5000
-
Container-title:CLEI Electronic Journal
-
language:
-
Short-container-title:CLEIej
Author:
Bonifacio Adilson,Moura Arnaldo
Abstract
Due to their asynchronous interactions, testing reactive systems is a laborious activity present in any software development project.
In this setting, the finite memory formalism of Labeled Transition Systems has been used to generate test suites that can be applied to check ioco conformance of implementations to a given specification.
In this work we turn to a more complex scenario where a stronger formalism is considered, the Visibly Pushdown Labeled Transition System (VPTS), which allows access to a potentially infinite pushdown memory.
We study an extension of the ioco conformance relation to VPTS models and develop polynomial time algorithms to verify conformance for VPTS models in a white-box testing scenario.
Publisher
Centro Latino Americano de Estudios en Informatica
Subject
Computational Mathematics,Computer Science Applications,Computer Science (miscellaneous),Theoretical Computer Science
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献