SciELO - Scientific Electronic Library Online

 
vol.13 número3Algoritmo Evolutivo para el Problema de Ruteo de Vehículos con Ventanas de Tiempo Basado en una Técnica de Satisfacción de RestriccionesAnálisis de Series LRD con Parámetro de Hurst Variante en el Tiempo índice de autoresíndice de materiabúsqueda de artículos
Home Pagelista alfabética de revistas  

Servicios Personalizados

Revista

Articulo

Indicadores

Links relacionados

  • No hay artículos similaresSimilares en SciELO

Compartir


Computación y Sistemas

versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546

Resumen

OLMEDO AGUIRRE, José Oscar  y  JUAREZ MARTINEZ, Ulises. Run-Time Assertion Checking with Énfasis. Comp. y Sist. [online]. 2010, vol.13, n.3, pp.273-294. ISSN 2007-9737.

Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time assertion checking problem involving local variables in Java programs using Énfasis. Énfasis is a novel Aspect-Oriented Programming (AOP) language that introduces a join point model for crosscutting on local variables and path expressions to select sets of join points. The contribution of this work consists on showing that run-time assertion checking is more effective in Énfasis by its greater expressive power than in other approaches such as AspectJ and the interface specification language JML. The greater expressiveness of Énfasis assertions arises from the finer granularity of crosscutting, defined at the expression and statement level in contrast to the coarser granularity defined at the method invocation level of AspectJ. Énfasis approach characterizes not only by its non-invasiveness at the source code level, modularity, uniformity and generality are also improved in handling orthogonal crosscutting concerns.

Palabras llave : Program assertion; formal grammars; local variable crosscutting; local variable pointcut; aspect-oriented programming.

        · resumen en Español     · texto en Inglés

 

Creative Commons License Todo el contenido de esta revista, excepto dónde está identificado, está bajo una Licencia Creative Commons