loading...
A Tool for Testing Liveness in Distributed Object Systems
Santa Barbara, California July 30-August 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868982Technology of Object-Oriented Languag ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Charles P. Giles, Ohio State University
Paolo A.G. Sivilotti, Ohio State University
This paper describes cidl, a tool that helps CORBA developers test liveness properties in distributed systems. Whereas examining initial states and outcomes can test sequential systems, distributed systems frequently exhibit reactive behavior that occurs over time. Liveness properties capture such behavior. Testing liveness, however, presents a significant challenge because liveness violations can never be detected during a finite execution.We present a testing technology for CORBA-based distributed systems. We define an extension to CORBA IDL for specifying a fundamental liveness property: transient. The cidl tool uses this extension to generate a testing harness for tracking liveness. We describe how to use cidl for testing and debugging and present a preliminary experience report.
Citation:
Charles P. Giles, Paolo A.G. Sivilotti, "A Tool for Testing Liveness in Distributed Object Systems," tools, pp.319, Technology of Object-Oriented Languages and Systems (TOOLS 34'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions