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
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Transparency and reflection in distributed systems
ACM SIGOPS Operating Systems Review
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
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
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Testing Object-Oriented Software
Testing Object-Oriented Software
Adaptation of Connectors in Software Architectures
ECOOP '98 Workshop ion on Object-Oriented Technology
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
A formal approach to software architecture
A formal approach to software architecture
An architecture for next generation middleware
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
Reflective Fault-Tolerant Systems: From Experience to Challenges
IEEE Transactions on Computers
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Hi-index | 0.00 |
Abstract: As has been shown in previous work, the separation of concerns provided by reflective architectures is of high interest for the development of dependable systems. Beyond this initial interest, the use of this technology remains questionable due to the lack of work reporting on validation aspects. This paper defines an incremental strategy for testing the cornerstone of the reflective architectures that we consider, i.e., the MetaObject Protocol (MOP). The approach is aimed at reducing the testing effort by promoting a gradual increment of the observability and controllability of the MOP under test. This strategy enables reflective mechanisms that have already been tested to be reused for verifying the remaining ones. A different testing level is associated with each reflective mechanism defined in the MOP. For each testing level, we characterize the test objectives and the required test environment. The feasibility of the approach is exemplified on a real MOP implemented using OpenC++ and extracted from the FRIENDS architecture devoted to the implementation of CORBA dependable systems. First test experiments were very useful since they revealed some implementation errors.