Research on automatic test case generation method of flight control system based on UML state diagram. Issue 1 (July 2021)