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