Некоторые методы, которые используются для вычисления траекторий выполнения программ:

• Метод оптимизации числа тестов. 1 Заключается в ограничении количества изменяемых направлений условных переходов в траекториях выполнения программ при их направленном тестировании. 1
• Алгоритм реконструкции графа управления программы. 1 Основан на поиске минимального расстояния редактирования между трассой и графом. 1
• Алгоритм быстрого поиска разности множеств доступных вершин в графе управления. 1 Использует комбинацию остовного и диадического деревьев для сокращения числа итераций. 1
• Метод динамического программирования. 4 Позволяет решить задачу, в которой нужно найти количество программ, преобразующих исходное число в определённое значение, при определённых условиях траектории вычислений. 4
• Структурированный подход. 5 Используется для эффективного решения задач с условиями на промежуточные значения. 5 Процесс преобразования разбивают на независимые этапы, а общее число допустимых программ вычисляют как произведение числа вариантов для каждого этапа. 5
• Рекурсивный метод. 5 Применяется, чтобы найти число способов преобразования одного числа в другое. 5

Траектория вычислений программы — это последовательность результатов выполнения всех её команд. 4