US8904247B2 - Test Pattern Generation Apparatus, Test Program Generation Apparatus, Generation Method, Program, and Test Apparatus