TOOLS OF TEST GENERATION FOR SATELLITES CONTROL PROGRAMS Andrey Tyugashev, Ekaterina Myasnikova, Elena Sopchenko S.P. Korolyov Samara State Aerospace University (National Reseach University) The paper presents a research in the field of test automation for testing spacecraft control programs. ... Programmers or designers of spacecraft systems write tests manually. ... Tests are carried out by issuing the control actions on the spacecraft and condition monitoring systems parameters of the spacecraft. ...