Аннотация:С.Фильчагиным разработан алгоритм автоматической генерации тестов для учебных программ. Он решал свою задачу в наиболее сложной постановке, когда требуется верифицировать не только отдельные функции, но и библиотеки взаимосвязанных функций. Трудность здесь состоит в том, что большинство ошибок может быть обнаружено только с помощью весьма специфической последовательности вызовов отдельных функций с определенными согласованными значениями параметров. Перебор различных последовательностей вызовов и различных комбинаций значений параметров означает экспоненциальный рост времени тестирования. Для решения этой проблемы С.Фильчагин предложил разделение функций на ярусы и перебор различных последовательностей только внутри одного яруса. Большинство информации, необходимой для генерации теста (в том числе и разбиение функций на ярусы), может быть получено автоматически