Create SpecificationTest.java

JUnit for the specification model