Just Testing

12/17/2022
by   Rob van Glabbeek, et al.
0

The concept of must testing is naturally parametrised with a chosen completeness criterion, defining the complete runs of a system. Here I employ justness as this completeness criterion, instead of the traditional choice of progress. The resulting must-testing preorder is incomparable with the default one, and can be characterised as the fair failure preorder of Vogler. It also is the coarsest precongruence preserving linear time properties when assuming justness. As my system model I here employ Petri nets with read arcs. Through their Petri net semantics, this work applies equally well to process algebras. I provide a Petri net semantics for a standard process algebra extended with signals; the read arcs are necessary to capture those signals.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/21/2022

Fair Must Testing for I/O Automata

The concept of must testing is naturally parametrised with a chosen comp...
research
08/31/2019

Justness: A Completeness Criterion for Capturing Liveness Properties

This paper poses that transition systems constitute a good model of dist...
research
08/26/2020

Reactive Bisimulation Semantics for a Process Algebra with Time-Outs

This paper introduces the counterpart of strong bisimilarity for labelle...
research
01/22/2021

A Categorical Semantics for Bounded Petri Nets

We provide a categorical semantics for bounded Petri nets, both in the c...
research
05/21/2019

Completeness and Incompleteness of Synchronous Kleene Algebra

Synchronous Kleene algebra (SKA), an extension of Kleene algebra (KA), w...
research
08/02/2023

On Bounded Completeness and the L_1-Denseness of Likelihood Ratios

The classical concept of bounded completeness and its relation to suffic...
research
03/30/2021

Implicit completeness criterion in three-valued logic in terms of maximal classes

Implicit expressability was introduced by A.V. Kuznetsov in 1979 as gene...

Please sign up or login with your details

Forgot password? Click here to reset