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