The specification and testing of quantified progress properties in distributed systems

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 201-210

  Krishnamurthy, Prakash ^a   Sivilotti, Paolo A G ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOURAL SPECIFICATIONS; CORBA COMPONENTS; DESIGN AND IMPLEMENTATIONS; IMPLEMENTATION STRATEGIES; PRACTICAL SYSTEMS; PROPERTY; SPACE AND TIME; TEMPORAL OPERATORS; TOOLS FOR TESTING; TRANSIENT PROPERTY; CERTIFICATE INTERFACE DECLARATION LANGUAGE; COMMON OBJECT REQUEST BROKER ARCHITECTURE; LINUX OPERATING SYSTEMS; SOLARIS OPERATING SYSTEMS; WINDOWS NT OPERATING SYSTEMS;

SPECIFICATIONS; COMPUTER AIDED SOFTWARE ENGINEERING;

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; PROGRAM TRANSLATORS;

EID: 0035009291     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919094     Document Type: Conference Paper

References (21)

1. M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993.
2. B. Alpem and E B. Schneider. Defining liveness. Informarion Processing Letters, 21(4):181-185, October 1985.
3. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.
4. C. Della Torre Cicalese and S. Rotenstreich. Behavioral specification of distributed software component interfaces. Computer, 32(7):46-53, July 1999.
5. S. Ghosh, P. Govindarajan, and A. P. Mathur. TDS 1.1: A tool for testing distributed object systems. Technical Report SERC-TR-179-P, Department of Computer Science, Purdue University, August 1999.
6. C. P. Giles and P. A. G. Sivilotti. A tool for testing liveness in distributed object systems. In Proceedings of TOOLS2000, pages 319-328, July 2000.
7. J. V. Guttag et al. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, New York, 1993.
8. C. B. Jones. Tentative steps toward a development method for interfering programs. ACM Transactions on Programming hguages and Systems, 5(4):596419, 1983.
9. R. Kramer. icontract, the jaw design by contract tool. In Proceedings of TOOLS 1998, August 1998.
10. U. H. M. Karaorman and J. Bruno. A reflective java library to support design by contract. Technical Report TRCS98-31, Computer Science Department, University of Califomia, Santa Barbara, Santa Barbara, CA, 93016, June 1998.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer-Verlag, New York, New York, 1992.
12. R. Manohar and P. A. G. Sivilotti. Composing processes using modifiedrely-guarantee specifications.Technical Report CS-TR-96-22, Caltech, June 1996.
13. J. Misra. A logic for concurrent programming: Progress. Journal of Computer & Software Engineering, 3(2):273-300, 1995.
14. J. E. Payne, M. A. Schatz, and M. N. Schmid. Implementing assertions for java. DE Dobb's Journal, January 1998.
15. S. Ramakrishnan and J. D. McGregor. Extending OCL to support temporal operators. In Workshopon Testing Distributed Component-Based Systems, May 1999. 21st International Conferenceon Software Engineering(ICSE).
16. D. S. Rosenblum. Adequate testing of component-based software. Technical Report UCI-ICs-97-34, University of California, Irvine, August 1997.
17. A. U. Shank. An introduction to assertional reasoning for concurrent systems. ACM Computing Sunteys, 25(3):225-262, September 1993.
18. G. S. Sivaprasad. LarcWCORBA: Specifying the behavior of CORBA-IDL interfaces. Master's thesis, Iowa State University, November 1995. TR ##95-27.
19. P. A. G. Sivilotti. A Method for the Specification, Composition, and Testing of Distributed Object Systems. PhD thesis, Caltech, December 1997.
20. P. A. G. Sivilotti. Specifying and testing the progress properties of distributed components. In Workshop on Testing Distributed Component-Based Systems, May 1999. 21st Intemational Conference on Software Engineering (ICSE).
21. P. A. G. Sivilotti and C. P. Giles. The specification of distributed objects: Liveness and locality. In Proceedings of CASCON 1999, pages 150-159, November 1999.