Dynamic analysis for using AspectJ to implement a coverage test.