Keeping specification and its corresponding implementation in sync is often a huge hasle.
In our case, the situation is even more complex since we have several different implementations of the same Specification. Moreover, the Spec. itself is being constantly updated.
Therefore, we introduce Comparator -- our new tool that is able to automatically determine all the differences between a specification class and its corresponding implementation.
Comparator creates AST trees both from the spec and from the implementation and compares them, simple yet powerful.
You can see a typical report log produced by the Comparator :
Comparator will be shipped with the updated version of SCJ TCK soon, stay tuned.