scholarly journals Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods

2000 ◽  
pp. 264-279 ◽  
Author(s):  
Scott D. Stoller ◽  
Leena Unnikrishnan ◽  
Yanhong A. Liu
Keyword(s):  
Distributed Systems ◽  
Partial Order ◽  
Global Properties ◽  
Efficient Detection

Efficient Detection of Channel Predicates in Distributed Systems

1997 ◽  
Vol 45 (2) ◽  
pp. 134-147 ◽  
Author(s):  
V.K. Garg ◽  
C.M. Chase ◽  
Richard Kilgore ◽  
J.Roger Mitchell
Keyword(s):  
Distributed Systems ◽  
Efficient Detection

scholarly journals Communication Analysis of Distributed Programs

2006 ◽  
Vol 14 (2) ◽  
pp. 151-170 ◽  
Author(s):  
Sharon Simmons ◽  
Dennis Edwards ◽  
Phil Kearns
Keyword(s):  
Distributed Systems ◽  
Partial Order ◽  
Distributed System ◽  
Source Code ◽  
Communication Analysis ◽  
Distributed Programs ◽  
Wide Range ◽  
Concurrent Relationships ◽  
Causality Information ◽  
Time Evaluation

Capturing and examining the causal and concurrent relationships of a distributed system is essential to a wide range of distributed systems applications. Many approaches to gathering this information rely on trace files of executions. The information obtained through tracing is limited to those executions observed. We present a methodology that analyzes the source code of the distributed system. Our analysis considers each process's source code and produces a single comprehensive graph of the system's possible behaviors. The graph, termed the partial order graph (POG), uniquely represents each possible partial order of the system. Causal and concurrent relationships can be extracted relative either to a particular partial order, which is synonymous to a single execution, or to a collection of partial orders. The graph provides a means of reasoning about the system in terms of relationships that will definitely occur, may possible occur, and will never occur. Distributed assert statements provide a means to monitor distributed system executions. By constructing thePOGprior to system execution, the causality information provided by thePOGenables run-time evaluation of the assert statement without relying on traces or addition messages.

scholarly journals Model-based testing of global properties on large-scale distributed systems

2014 ◽  
Vol 56 (7) ◽  
pp. 749-762 ◽  
Author(s):  
Gerson Sunyé ◽  
Eduardo Cunha de Almeida ◽  
Yves Le Traon ◽  
Benoit Baudry ◽  
Jean-Marc Jézéquel
Keyword(s):  
Distributed Systems ◽  
Large Scale ◽  
Model Based ◽  
Global Properties ◽  
Model Based Testing
Sign in / Sign up

Export Citation Format

Share Document