Run-Time Assertion Checking with Énfasis
Fuente:
Redalyc
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Instituto Politécnico Nacional
2010
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1876452610681077760 |
|---|---|
| author | José Oscar Olmedo Aguirre |
| author_facet | José Oscar Olmedo Aguirre |
| contents | Run-Time Assertion Checking with Énfasis José Oscar Olmedo Aguirre Ulises Juárez Martínez Computación aspect formal grammars Program assertion oriented programming local variable pointcut 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. 2010 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61519182004 en http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.3 Vol.13 |
| format | Artículo científico |
| id | redalyc_61519182004 |
| institution | Redalyc |
| language | en |
| publishDate | 2010 |
| publisher | Instituto Politécnico Nacional |
| spellingShingle | Run-Time Assertion Checking with Énfasis José Oscar Olmedo Aguirre Computación aspect formal grammars Program assertion oriented programming local variable pointcut Run-Time Assertion Checking with Énfasis José Oscar Olmedo Aguirre Ulises Juárez Martínez Computación aspect formal grammars Program assertion oriented programming local variable pointcut 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. 2010 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61519182004 en http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.3 Vol.13 |
| title | Run-Time Assertion Checking with Énfasis |
| topic | Computación aspect formal grammars Program assertion oriented programming local variable pointcut |
| url | https://www.redalyc.org/articulo.oa?id=61519182004 |