Since testing is derived from the software requirements document working with electronic representations should be beneficial. As automatic code generation techniques are applied, how these certification credits are derived and accumulated must be examined.