Static and Dynamic Quality Assurance by Aspect Oriented Techniques

TL;DR

This paper presents the development of aspect-oriented quality assurance patterns for Java systems using AspectJ 5, automating static and dynamic quality checks to improve software reliability and maintainability.

Contribution

It introduces new aspect-oriented patterns for static and dynamic quality assurance in Java, specifically using AspectJ 5, which were not previously available.

Findings

Successfully developed aspects for static quality criteria like mutator conventions and layering rules.

Automated dynamic quality checks such as exception chaining and null checking.

Demonstrated applicability of aspect-oriented techniques for comprehensive quality assurance.

Abstract

The overall goal of the described research project was to create applicable quality assurance patterns for Java software systems using the aspect-oriented programming language extension AspectJ 5. We tried to develop aspects to check static quality criteria as a variable mutator convention and architectural layering rules. We successfully developed aspects for automating the following dynamic quality criteria: Parameterized Exception Chaining, Comfortable Declaration of Parameterized Exceptions, Not-Null Checking of Reference Variables.