1. ARV: Aspect Refactoring Verifier
Charles Zhang and
Hans-Arno Jacobsen
Middleware Systems Research Group
University of Toronto
CASCON 2003

2. Transforming Legacy Systems Using AOP tools
Aspect discovery/mining
Prism
Aspect footprints
Aspect Refactoring
AJDT
Re-factored Aspects
Code-level Verification
ARV
Over or under refactoring
Functional Verification
Verified Aspects
Unit/Regression Testing Tool
CASCON 2003

3. Verification of Refactoring
Aspect Oriented Refactoring causes systematic changes involving thousands of classes and lines of code
Due to this crosscutting nature, manual verification is difficult, tedious and error prone
Tool support for this process is vital.
CASCON 2003

4. What does ARV do? Verification at source code level
Provides visual cues towards ensuring the functional equivalency of the refactored system
ARV checks the equivalence of:
Call sites between declared and effective pointcuts
Refactored logic between aspects and the original implementation
CASCON 2003

5. Architecture of ARV Integrated with AJDT and the Eclipse platform
Built as an extension of the Prism framework.
Pointcuts Fingerprints
Locating call sites and advices Prism matching algorithm
Results comparison Footprint operations
CASCON 2003

6. ARV, A Prism Implementation
Declare Warning
Effective joinpoints
Prism Fingerprint
Prism Fingerprint
Prism Task
Prism Task
Prism Footprints
ARV Extension
Prism Algorithms
Prism Engine
CASCON 2003

7. Verification Configuration
Choose the verification target
Pick aspect joinpoints
Pick declared joinpoints
CASCON 2003

8. Over/under re-factoring menu
Verification Report
A cross-cutting difference view shows callsites picked out by declared and effective joinpoints.
Over and under refactoriing can be verified by accessing the menu of the view
Over/under re-factoring menu
CASCON 2003