Probabilistic testing for a distributed conference protocol

被引：0

作者：

Goga, N ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands

来源：

2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年

关键词：

reactive systems; conformance testing; automatic test generation; probability;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In [3] we proposed a generalization of the TorX test derivation algorithm with probabilities. The current work extends the theoretical work from [3], by presenting experimental results obtained with the probabilistic TorX. The experiment with the distributed Conference Protocol case study confirms that the extension of the algorithm with explicit probabilities leads to improvements in the tests generated with respect to the chances of finding errors in the implementation.

引用

页码：5154 / 5158

页数：5

共 50 条

[1] Testing Probabilistic Distributed Systems
Hierons, Robert M.
Nunez, Manuel
[J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2010, 6117 : 63 - +
[2] Randomized Testing of Distributed Systems with Probabilistic Guarantees
Ozkan, Burcu Kulahcioglu
Majumdar, Rupak
Niksic, Filip
Befrouei, Mitra Tabaei
Weissenbacher, Georg
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
[3] Towards Overcoming Issues of Testing Probabilistic Distributed systems
Tajioue, Mohammed Amine
Maakoul, Oussama
Hsaini, Sara
Azzouzi, Salma
Charaf, My El Hassan
[J]. 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 903 - 907
[4] Communication mechanism in distributed protocol testing system
Wang, ZL
Wu, JP
Li, ZJ
Yin, X
[J]. 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 149 - 152
[5] Probabilistic model of the algorithms of distributed control protocol in the internet network
O. Yu. Bogoyavlenskaya
[J]. Automation and Remote Control, 2009, 70 : 107 - 117
[6] Probabilistic Model of the Algorithms of Distributed Control Protocol in the Internet Network
Bogoyavlenskaya, O. Yu.
[J]. AUTOMATION AND REMOTE CONTROL, 2009, 70 (01) : 107 - 117
[7] Protocol combinators for modeling, testing, and execution of distributed systems
Andersen, Kristoffer Just Arndal
Sergey, Ilya
[J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31
[8] Model-based testing of the conference protocol with spec explorer
Botincan, Matko
Novakovic, Vedran
[J]. CONTEL 2007: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON TELECOMMUNICATIONS, 2007, : 131 - +
[9] MCMP: A transport/session level distributed protocol for desktop conference setup
Nguyen, MH
Schwartz, M
[J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1996, 14 (07) : 1404 - 1421
[10] Integration Testing of Protocol Implementations using Symbolic Distributed Execution
Sasnauskas, Raimondas
Kaiser, Philipp
Jukic, Russ Lucas
Wehrle, Klaus
[J]. 2012 20TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 2012,

← 1 2 3 4 5 →