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 条

[31] Distributed probabilistic map service
Mahajan, A
Ko, J
Sengupta, R
[J]. PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 130 - 135
[32] Distributed Clustering Using Distributed Mixture of Probabilistic PCA
Yin, Hang
Zhang, Chunhong
Ji, Yang
[J]. 2014 11TH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (FSKD), 2014, : 352 - 357
[33] Testing protocol
Zirkel, PA
[J]. PHI DELTA KAPPAN, 2005, 87 (02) : 172 - 173
[34] DISTRIBUTED PROTOCOL FOR BICONNECTIVITY
BERMOND, JC
KONIG, JC
[J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1991, 10 (04): : 269 - 274
[35] A Distributed Locking Protocol
No, Jaechun
Park, Sung Soon
[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3314 : 225 - 230
[36] A distributed locking protocol
No, J
Park, SS
[J]. COMPUTATIONAL AND INFORMATION SCIENCE, PROCEEDINGS, 2004, 3314 : 225 - 230
[37] Distributed Protocol Combinators
Andersen, Kristoffer Just Arndal
Sergey, Ilya
[J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2019), 2019, 11372 : 169 - 186
[38] CENTRALIZED ROUTING PROTOCOL AND DISTRIBUTED ROUTING PROTOCOL
Shen, Xiao
Li, Zhengjun
[J]. 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 461 - 465
[39] NONDESTRUCTIVE TESTING - CONFERENCE
GUSAKOV, AA
[J]. RUSSIAN ENGINEERING JOURNAL-USSR, 1971, 51 (12): : 87 - &
[40] SUMMARY OF TESTING CONFERENCE
PALMER, LA
[J]. LANGUAGE LEARNING, 1968, 18 : 175 - 177

← 1 2 3 4 5 →