В докладе обоснованы необходимость и эффективность использования комплексного подхода к контролю, анализу, отладке и внедрению программного обеспечения функциональных задач АИУС. Получено выражение для определения рационального числа точек контроля. поставлены задачи выбора оптимальной стратегии отладки, оптимальных наборов тестов для обнаружения и локализации ошибок, определения оптимальной последовательности действий при тестировании (физической реализуемости и времени функционирования, оптимизации поиска областей и места расположения ошибок по результатам тестирования.