В работе предлагагается алгоритм автоматизированного построения графа задач для программного кода с использованием алгоритмических алгебр. На основе анализа графа стороятся классы эквивалентности для тестирования программы. Сформулированы принципы анализа такого графа. Использование предложенного метода позволяет реализовать автоматизированное построение классов эквивалентных тестов и сократить время, используемое для построения тестов, за счёт уменьшения количества исполняемого программного кода. Ключевые слова: тестирование программ, граф задач, автоматизация тестирования
