Comparing AP versus OO during evolution: effort

AP
- #S1,TS ? S2
- $Compatible(G2,S2)
- §Errors(G2, Graph(TG(G1,S1)))
- ‡Diff (TG(G1,S1), TG(G2,S2))

OO
- #T(G1,S1),TS ? T(G2,S2)
- $Compatible(G2,T(G2,S2))
- §Errors(G2,T(G1,S1))
- ‡Diff (T(G1,S1), T(G2,S2))

Common: G1 ? G2, test(T(G1,S1)), test(T(G2,S2)),

traversal change specification TS

Comparable effort: testing § ‡ AP less effort on average: # $

Written by user

Inspected by user, generated by compiler