Algorithmic, software and hardware tools of Airspace use planning and Air Traffic Flow Management (ATFM) system implemented in ATFM Centre of the Russian Federation are presented
Testing is the main reliable method for assessing software quality from the perspective of end users. It cannot be replaced by any of other methods of quality control. An important feature of the testing of application software for complex automated systems under operation and maintenance, is fully verified at significant limitation of the duration of the test. The relevant task is the development of scientifically-based methodology for planning of testing on the CEA stage support throughout the life cycle of complex automated systems.