Just Testing

Rob van Glabbeek

doi:10.1007/978-3-031-30829-1_24

Just Testing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023)
Subtitle of host publication	held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023
Editors	Orna Kupferman, Pawel Sobocinski
Publisher	Springer
Pages	498-519
Number of pages	22
Volume	13992
ISBN (Electronic)	9783031308291
ISBN (Print)	9783031308284
DOIs	https://doi.org/10.1007/978-3-031-30829-1_24
Publication status	Published - 21 Apr 2023
Event	Foundations of Software Science and Computation Structures: Part of the European joint conferences on theory & practice of software 2023 - Paris, France Duration: 22 Apr 2023 → 27 Apr 2023 https://www.etaps.org/2023/conferences/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Foundations of Software Science and Computation Structures
Abbreviated title	FoSSaCS 2023
Country/Territory	France
City	Paris
Period	22/04/23 → 27/04/23
Internet address	https://www.etaps.org/2023/conferences/

Access to Document

10.1007/978-3-031-30829-1_24Licence: Creative Commons: Attribution (CC-BY)

Just testing_VAN_GLABBEEK_DOA23122022_AFV_CC-BYAccepted author manuscript, 462 KBLicence: Creative Commons: Attribution (CC-BY)
Just Testing_VANGLABBEEK_DOA23122022_VOR_CC-BYFinal published version, 816 KBLicence: Creative Commons: Attribution (CC-BY)

https://link.springer.com/chapter/10.1007/978-3-031-30829-1_24Licence: Creative Commons: Attribution (CC-BY)

Ensuring Liveness Properties of Distributed Systems with Justness
Bradfield, J.
Other (Learned Society)
1/08/22 → 31/08/27
Project: Research

Cite this

van Glabbeek, R. (2023). Just Testing. In O. Kupferman, & P. Sobocinski (Eds.), Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023 (Vol. 13992, pp. 498-519). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-031-30829-1_24

van Glabbeek, Rob. / Just Testing. Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. editor / Orna Kupferman ; Pawel Sobocinski. Vol. 13992 Springer, 2023. pp. 498-519 (Lecture Notes in Computer Science).

@inproceedings{86b83f76e7004bb8b0fa2fe91638e310,

title = "Just Testing",

abstract = "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.",

author = "{van Glabbeek}, Rob",

note = "Supported by Royal Society Wolfson Fellowship RSWF\R1\221008.; Foundations of Software Science and Computation Structures : Part of the European joint conferences on theory & practice of software 2023, FoSSaCS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",

year = "2023",

month = apr,

day = "21",

doi = "10.1007/978-3-031-30829-1_24",

language = "English",

isbn = "9783031308284",

volume = "13992",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "498--519",

editor = "Orna Kupferman and Pawel Sobocinski",

booktitle = "Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023)",

address = "United Kingdom",

url = "https://www.etaps.org/2023/conferences/",

}

van Glabbeek, R 2023, Just Testing. in O Kupferman & P Sobocinski (eds), Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. vol. 13992, Lecture Notes in Computer Science, Springer, pp. 498-519, Foundations of Software Science and Computation Structures, Paris, France, 22/04/23. https://doi.org/10.1007/978-3-031-30829-1_24

Just Testing. / van Glabbeek, Rob.
Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. ed. / Orna Kupferman; Pawel Sobocinski. Vol. 13992 Springer, 2023. p. 498-519 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Just Testing

AU - van Glabbeek, Rob

N1 - Supported by Royal Society Wolfson Fellowship RSWF\R1\221008.

PY - 2023/4/21

Y1 - 2023/4/21

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-031-30829-1_24

DO - 10.1007/978-3-031-30829-1_24

M3 - Conference contribution

SN - 9783031308284

VL - 13992

T3 - Lecture Notes in Computer Science

SP - 498

EP - 519

BT - Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023)

A2 - Kupferman, Orna

A2 - Sobocinski, Pawel

PB - Springer

T2 - Foundations of Software Science and Computation Structures

Y2 - 22 April 2023 through 27 April 2023

ER -

van Glabbeek R. Just Testing. In Kupferman O, Sobocinski P, editors, Proceedings 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023): held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France, April 2023. Vol. 13992. Springer. 2023. p. 498-519. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-30829-1_24

Just Testing

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

Ensuring Liveness Properties of Distributed Systems with Justness

Cite this