We present a technique for proving convergence of h and hp
adaptive finite element methods through comparison with certain
reference refinement schemes based on interpolation error. We then
construct a testing environment where properties of different
adaptive approaches can be evaluated and improved.