Title

Optimizing Generated Aspect-Oriented Assertion Checking Code For Jml Using Program Transformations: An Empirical Study

Keywords

Aspect-oriented programming; JML; Program transformation

Abstract

The AspectJ JML compiler (ajmlc) explores aspect-oriented programming (AOP) mechanisms to implement JML specifications, such as pre- and postconditions, and enforce them during runtime. This compiler was created to improve source-code modularity. Some experiments were conducted to evaluate the performance of the code generated through ajmlc. Results demonstrated that the strategy of adopting AOP to implement JML specifications is very promising. However, there is still a need for optimization of the generated code's bytecode size and running time. This paper presents a catalog of transformations which represent the optimizations implemented in the new optimized version of the ajmlc compiler. We employ such transformations to reduce the bytecode size and running time of the code generated through the ajmlc compiler. Aiming at demonstrating the impact of such transformation on the code quality, we conduct an empirical study using four applications in optimized and non-optimized versions generated by ajmlc. We show that our AOP transformations provide a significant improvement, regarding bytecode size and running time. © 2012 Elsevier B.V. All rights reserved.

Publication Date

8-1-2013

Publication Title

Science of Computer Programming

Volume

78

Issue

8

Number of Pages

1137-1156

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1016/j.scico.2012.09.003

Socpus ID

84878234703 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84878234703

This document is currently not available here.

Share

COinS