A specification must, according to the Jakarta EE Specification Process (JESP), provide a test suite to verify that an implementation implements the specification correctly. This test suite is called a Test Compatibility Kit (TCK). There must be at least one compatible implementation, i.e. an implementation that passes the TCK, for a spec to be ratified as a final specification.
Eclipse Krazo 2.0.0 is a compatible implementation of Jakarta MVC 2.0. In the following video, I show how the TCK is run to verify that Krazo passes the Jakarta MVC 2.0 TCK.
I will use Jakarta MVC as an example for a specification going through the steps involved in the JESP and blog about it here. Follow the Jakarta MVC tag to get them all.