Research and Design of Automatic Test Language for Control System Software