The Spacecraft Automatic Testing System Based on Workflow | IEEE Conference Publication | IEEE Xplore