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

^*此作品的通讯作者

Uppsala University

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

摘要

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.

源语言	英语
主期刊名	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
编辑	Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
出版商	Springer Verlag
页	360-372
页数	13
ISBN（印刷版）	9783319307336
DOI	https://doi.org/10.1007/978-3-319-30734-3_24
出版状态	已出版 - 2016
已对外发布	是
活动	Frank de Boer on the Occasion of His 60th Birthday, 2016 - Porto, 葡萄牙期限: 5 7月 2016 → 5 7月 2016

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	9660
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	Frank de Boer on the Occasion of His 60th Birthday, 2016
国家/地区	葡萄牙
市	Porto
时期	5/07/16 → 5/07/16

访问文件

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

其它文件与链接

链接到 Scopus 的出版物

引用此

Rümmer, P., & Yi, W. (2016). Characterization of simulation by probabilistic testing. 在 E. Ábrahám, M. Bonsangue, & E. B. Johnsen (编辑), Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday (页码 360-372). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 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. 编辑 / Erika Ábrahám ; Marcello Bonsangue ; Einar Broch Johnsen. Springer Verlag, 2016. 页码 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. 在 E Ábrahám, M Bonsangue & EB Johnsen (编辑), 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), 卷 9660, Springer Verlag, 页码 360-372, Frank de Boer on the Occasion of His 60th Birthday, 2016, Porto, 葡萄牙, 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. 编辑 / Erika Ábrahám; Marcello Bonsangue; Einar Broch Johnsen. Springer Verlag, 2016. 页码 360-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 9660).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Ábrahám E, Bonsangue M, Johnsen EB, 编辑, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer Verlag. 2016. 页码 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

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此