№ 1 (2019) Isaeva O. S., Koldyrev A. Yu. ANALYSIS ALGORITHMS FOR TESTING COMMAND-AND-SOFTWARE CONTROL OF SPACE SYSTEMS’ EQUIPMENT