Testing metaobject protocols generated by open compilers for safety-critical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2192, Issue , 2001, Pages 134-152

  Ruiz, Juan Carlos ^a   Fabre, Jean Charles ^a   Thévenod Fosse, Pascale ^a  

^a LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; PROGRAM COMPILERS; SAFETY ENGINEERING; SECURITY SYSTEMS;

FAULT-TOLERANT SYSTEMS; METAOBJECT PROTOCOL; PROTOCOL IMPLEMENTATION; SAFETY CRITICAL SYSTEMS; TEST STRATEGIES; USE OF REFLECTIONS;

SAFETY TESTING;

EID: 84947215458     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45429-2_11     Document Type: Article

References (16)

1. Fabre J.-C. and Pérennou T., "A Metaobject Architecture for Fault-Tolerant Distributed Systems: the FRIENDS Approach", in IEEE Transactions on Computers. Special issue on Dependability of Computing Systems, vol. 47, pp. 78-95, 1998.
2. Agha G., Frolund S., Panwar G. and Sturman D., "A Linguistic Framework for Dynamic Composition of Dependability Protocols", in Dependable Computing for Critical Applications 3 (DCCA-3), Vol. 8, in the Series on Dependable Computing and Fault-Tolerant Systems, Springer-Verlag, 1993, pp. 345-363.
3. Garbinato B., Guerraoui R. and Mazouni K., "Implementation of the GARF Replicated Objects Platform", in Distributed Systems Engineering Journal, vol. 2, pp. 14-27, 1995.
4. Pattie Maes, "Concepts and experiments in computational reflection", in Object-Oriented Programming Systems, Languages and Applications (OOPSLA’87), Orlando, 1987, pp. 147-155.
5. Kiczales G., Rivières J. and Bobrow D.G. The Art of the Metaobject Protocol. MIT Press, ISBN 0-262-61074-4, 1991.
6. Chiba S., "Macro Processing in Object-Oriented Languages", in Technology of Object-Oriented Languages and Systems (TOOLS Pacific '98), Australia, IEEE Press, 1998, pp. 113-126.
7. Tatsubori M., Chiba S., Killijian M.-O and Itano K., "OpenJava: A Class-based Macro System for Java", in Reflection and Software Engineering, W. Cazzola, R.J. Stroud, and F. Tisato, Eds., Lecture Notes in Computer Science 1826, Springer-Verlag, July, 2000, pp. 119-135.
8. Killijian M.-O. and Fabre J.C., "Implementing a Reflective Fault-Tolerant CORBA System", in IEEE Symposium on Reliable Distributed Systems (SRDS’2000), Germany, 2000, pp. 154-163.
9. Marsden E., Ruiz J.C. and Fabre J.-C., "Towards Validating Reflective Architectures: Formalization of a MetaObject Protocol", in IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Workshop on Reflective Middleware (RM 2000), New York, 2000, pp. 33-35.
10. Welch I. and Stroud R., "Adaptation of Connectors in Software Architectures", in Object-Oriented Programming Systems, Languages and Applications (OOPSLA’98), Workshop on Component -Oriented Programming (WCOP’98), Brussels, 1998, pp. 145-146.
11. Bochmann G.V. and Petrenko A., "Protocol testing: review of methods and relevance for software testing", in International Symposium on Software Testing and Analysis (ISSTA '94), Seattle, 1994, pp. 109-124.
12. Kung D., Hsia P. and Gao J. (eds). Testing Object-Oriented Software. IEEE Computer Society, 1998.
13. Binder R.V. Testing Object-Oriented Systems. Addison-Wesley, 1999.
14. Ruiz J.C., Thévenod-Fosse P. and Fabre J.C., "A Strategy for Testing MetaObject Protocols in Reflective Architectures", in 2nd IEEE Conference on Dependable Systems and Networks (DSN 2001), Göteborg (Sweden), July 2001.
15. Brant J., Foote B., Johnson R.E. and Roberts D., "Wrappers to the Rescue", in ECOOP’98, Brussels, 1998, pp. 396-417.
16. nd Edition, Prentice Hall Professional Technical Reference, 1997.