Increasing client-side confidence in remote component implementations

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2001, Pages 52-61

  Jagannathan, Ramesh ^a   Sivilotti, Paolo A G ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

CORBA; Distributed components; Observability; Test oracles; Trust

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; SOFTWARE PROTOTYPING; USER INTERFACES;

REMOTE COMPONENTS;

SOFTWARE ENGINEERING;

EID: 0035783898     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/503209.503217     Document Type: Conference Paper

References (23)

1. W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. Number 47 in Cambridge Tract on Theoretical Computer Science. Cambridge University Press, 1998.
2. C. Della Torre Cicalese and S. Rotenstreich. Behavioral specification of distributed software component interfaces. IEEE Computer, 32(7):46-53, July 1999.
3. S.H. Edwards, G. Shakir, M. Sitaraman, B.W. Weide, and J. Hollingsworth. A framework for detecting interface violations in component-based software. In Proceedings of Fifth International Conference on Software Reuse (ICSR), pages 46-55. IEEE, June 1998.
4. C.P. Giles and P.A.G. Sivilotti. A tool for testing liveness in distributed object systems. In Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA 2000), pages 319-328, Santa Barbara, California, August 2000. IEEE Computer Society.
5. C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, Englewood Cliffs, New Jersey 07632, 1986.
6. R. Kramer. iContract-the Java design by contract tool. In TOOLS 26: Technology of Object-Oriented Languages and Systems, pages 295-307, Los Alamitos, California, 1998. IEEE CS Press.
7. P. Krishnamurthy and P.A.G. Sivilotti. The specification and testing of quantified progress properties in distributed systems. In Proceedings of the 23rd International Conference on Software Engineering (ICSE), Toronto, Canada, May 2001. IEEE and ACM SIGSOFT.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer-Verlag, 175 Fifth Avenue, New York, New York 10010, 1992.
9. B. Meyer, Object-Oriented Software Construction. International Series in Computer Science. Prentice Hall, 1988.
10. B. Meyer, Object-Oriented Software Construction. Prentice-Hall, Upper Saddle River, New Jersey 07458, second edition, 1997.
11. J. Misra. A logic for concurrent programming: Progress. Journal of Computer & Software Engineering, 3(2):273-300, 1995.
12. J. Misra. A logic for concurrent programming: Safety. Journal of Computer & Software Engineering, 3(2):239-272, 1995.
13. G.C. Necula. Proof-carrying code. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 106-119, Paris, France, January 1997.
14. Object Management Group. The Common Object Request Broker: Architecture and Specification, October 1999. Minor Revision 2.3.1.
15. C.M. Özveren and A.S. Willsky. Observability of discrete event dynamic systems. IEEE Transactions on Automatic Control, 35(7):797-805, July 1990.
16. J.E. Payne, M.A. Schatz, and M.N. Schmid. Implementing assertions for Java. Dr. Dobb's Journal, January 1998.
17. R.S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, fourth edition, 1997.
18. P.J. Ramadage. Observability of discrete event systems. In Proceedings of the Conference on Decision and Control. IEEE, December 1986.
19. D.S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
20. M. Sitaraman, B.W. Weide, and W.F. Ogden. On the practical need for abstraction relations to verify abstract data type representations. IEEE Transactions on Software Engineering, 23(3):157-170, March 1997.
21. P.A.G. Sivilotti. Specifying and testing the progress properties of distributed components. In Workshop on Testing Distributed Component-Based Systems, May 1999. part of the 21st International Conference on Software Engineering (ICSE).
22. P.A.G. Sivilotti and C.P. Giles. The specification of distributed objects: Liveness and locality. In S.A. MacKay and J.H. Johnson, editors, Proceedings of CASCON '99, pages 150-160, Toronto, Ontario, Canada, December 1999.
23. Visigenic. Programmer's Guide - Visibroker for Java, 2000. Version 4.1.