Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The art of metaobject protocol
The art of metaobject protocol
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Testing Object-Oriented Software
Testing Object-Oriented Software
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Adaptation of Connectors in Software Architectures
ECOOP '98 Workshop ion on Object-Oriented Technology
OpenJava: A Class-Based Macro System for Java
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
A Strategy for Testing MetaObject Protocols in Reflective Architectures
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Implementing a Reflective Fault-Tolerant CORBA System
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Macro Processing in Object-Oriented Languages
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
Reflective Fault-Tolerant Systems: From Experience to Challenges
IEEE Transactions on Computers
A security framework for reflective Java applications
Software—Practice & Experience
Architecting dependable systems using reflective computing: lessons learnt and some challenges
Architecting dependable systems VII
Hi-index | 0.00 |
Although broadly used in many application domains, the use of reflection in safety-critical systems remains questionable due to the little work reporting on validation aspects. This paper defines an approach for testing MetaObject Protocols (MOPs) generated using open compiler facilities. These protocols are defined in terms of a set of analysis and generation rules, which are used to specialize the MOP implementation according to the features supplied by object definitions. The proposed test strategy classifies these analyses and generation rules. Testing objectives and conformance checks are defined for each type of rule. Along the paper, the approach will be illustrated through a real MOP implemented using OpenC++ and extracted from the FRIENDS architecture, an architecture devoted to the implementation of fault-tolerant systems. The test experiments performed show the interest of the strategy since they have revealed some errors in the considered protocol implementation.