Генерация тестовых данных на основе формального анализа данных конфигурации проекта

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