added simple test for AirplaneSpecification
corrected minor errors in AirplaneSpecification