Parallel program design: a foundation
Parallel program design: a foundation
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to assertional reasoning for concurrent systems
ACM Computing Surveys (CSUR)
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
The specification of distributed objects: liveness and locality
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Composing Processes Using Modified Rely-Guarantee Specifications
Composing Processes Using Modified Rely-Guarantee Specifications
A method for the specification, composition, and testing of distributed object systems
A method for the specification, composition, and testing of distributed object systems
Proving the Correctness of Multiprocess Programs
IEEE Transactions on Software Engineering
The specification and testing of quantified progress properties in distributed systems
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Increasing client-side confidence in remote component implementations
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Hi-index | 0.00 |
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.