finished tests for Spec module