Characterization of simulation by probabilistic testing

Philipp Rümmer; Wang Yi

doi:10.1007/978-3-319-30734-3_24

Characterization of simulation by probabilistic testing

Philipp Rümmer^*, Wang Yi

^*Corresponding author for this work

Uppsala University

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

Abstract

Testing of systems naturally has a non-deterministic character: on the one hand, internal decisions of the system under test appear as non-determinism to an observer; on the other hand, the system under test inevitably receives inputs from the environment that are not controlled by the tester. To model both aspects, we investigate a probabilistic testing framework in which non-deterministic labelled transition systems are examined through execution of finite, probabilistic test-cases. We show that the simulation preorder on labelled transition systems can be tested probabilistically, elegantly recapturing the notion of conformance testing in this setting.

Original language	English
Title of host publication	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Editors	Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Publisher	Springer Verlag
Pages	360-372
Number of pages	13
ISBN (Print)	9783319307336
DOIs	https://doi.org/10.1007/978-3-319-30734-3_24
State	Published - 2016
Externally published	Yes
Event	Frank de Boer on the Occasion of His 60th Birthday, 2016 - Porto, Portugal Duration: 5 Jul 2016 → 5 Jul 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9660
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Frank de Boer on the Occasion of His 60th Birthday, 2016
Country/Territory	Portugal
City	Porto
Period	5/07/16 → 5/07/16

Access to Document

10.1007/978-3-319-30734-3_24

Cite this

Rümmer, P., & Yi, W. (2016). Characterization of simulation by probabilistic testing. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (pp. 360-372). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9660). Springer Verlag. https://doi.org/10.1007/978-3-319-30734-3_24

Rümmer, Philipp ; Yi, Wang. / Characterization of simulation by probabilistic testing. Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. editor / Erika Ábrahám ; Marcello Bonsangue ; Einar Broch Johnsen. Springer Verlag, 2016. pp. 360-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{eebf27194d8e4a1aae52cd58a4ab6add,

title = "Characterization of simulation by probabilistic testing",

abstract = "Testing of systems naturally has a non-deterministic character: on the one hand, internal decisions of the system under test appear as non-determinism to an observer; on the other hand, the system under test inevitably receives inputs from the environment that are not controlled by the tester. To model both aspects, we investigate a probabilistic testing framework in which non-deterministic labelled transition systems are examined through execution of finite, probabilistic test-cases. We show that the simulation preorder on labelled transition systems can be tested probabilistically, elegantly recapturing the notion of conformance testing in this setting.",

author = "Philipp R{\"u}mmer and Wang Yi",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; Frank de Boer on the Occasion of His 60th Birthday, 2016 ; Conference date: 05-07-2016 Through 05-07-2016",

year = "2016",

doi = "10.1007/978-3-319-30734-3\_24",

language = "英语",

isbn = "9783319307336",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "360--372",

editor = "Erika {\'A}brah{\'a}m and Marcello Bonsangue and Johnsen, \{Einar Broch\}",

booktitle = "Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday",

address = "德国",

}

Rümmer, P & Yi, W 2016, Characterization of simulation by probabilistic testing. in E Ábrahám, M Bonsangue & EB Johnsen (eds), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9660, Springer Verlag, pp. 360-372, Frank de Boer on the Occasion of His 60th Birthday, 2016, Porto, Portugal, 5/07/16. https://doi.org/10.1007/978-3-319-30734-3_24

Characterization of simulation by probabilistic testing. / Rümmer, Philipp; Yi, Wang.
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. ed. / Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Springer Verlag, 2016. p. 360-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9660).

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

TY - GEN

T1 - Characterization of simulation by probabilistic testing

AU - Rümmer, Philipp

AU - Yi, Wang

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - Testing of systems naturally has a non-deterministic character: on the one hand, internal decisions of the system under test appear as non-determinism to an observer; on the other hand, the system under test inevitably receives inputs from the environment that are not controlled by the tester. To model both aspects, we investigate a probabilistic testing framework in which non-deterministic labelled transition systems are examined through execution of finite, probabilistic test-cases. We show that the simulation preorder on labelled transition systems can be tested probabilistically, elegantly recapturing the notion of conformance testing in this setting.

AB - Testing of systems naturally has a non-deterministic character: on the one hand, internal decisions of the system under test appear as non-determinism to an observer; on the other hand, the system under test inevitably receives inputs from the environment that are not controlled by the tester. To model both aspects, we investigate a probabilistic testing framework in which non-deterministic labelled transition systems are examined through execution of finite, probabilistic test-cases. We show that the simulation preorder on labelled transition systems can be tested probabilistically, elegantly recapturing the notion of conformance testing in this setting.

UR - https://www.scopus.com/pages/publications/84962623537

U2 - 10.1007/978-3-319-30734-3_24

DO - 10.1007/978-3-319-30734-3_24

M3 - 会议稿件

AN - SCOPUS:84962623537

SN - 9783319307336

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 360

EP - 372

BT - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

A2 - Ábrahám, Erika

A2 - Bonsangue, Marcello

A2 - Johnsen, Einar Broch

PB - Springer Verlag

T2 - Frank de Boer on the Occasion of His 60th Birthday, 2016

Y2 - 5 July 2016 through 5 July 2016

ER -

Rümmer P, Yi W. Characterization of simulation by probabilistic testing. In Ábrahám E, Bonsangue M, Johnsen EB, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer Verlag. 2016. p. 360-372. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-30734-3_24

Characterization of simulation by probabilistic testing

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this