By Topic

A tool for testing liveness in distributed object systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Giles, C.P. ; Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA ; Sivilotti, P.A.G.

The paper describes cidl, a tool that helps CORBA developers test liveness properties in distributed systems. Whereas sequential systems can be tested by examining initial states and final outcomes, 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

Published in:

Technology of Object-Oriented Languages and Systems, 2000. TOOLS 34. Proceedings. 34th International Conference on

Date of Conference:

2000