Тестирование софта - статьи


         

При использовании такой схемы генерации


При использовании такой схемы генерации тестовых данных анализ правильности работы генератора кода в трансляторе состоит в проверке результата работы транслятора на соответствие созданной генератором тестов эталонной системе показателей (см. Рис. 4).
Рис. 4. Схема работы оракула Таким образом, общий процесс тестирования состоит из следующих шагов:
  1. Анализируется документация на генератор кода в трансляторе, и выделяются те аспекты его работы, которые требуется протестировать;
  2. Для каждого аспекта выделяются термины и шаблоны входных данных, строится модель;
  3. В рамках данного аспекта анализируется алгоритм генерации кода, модель обогащается дополнительной информацией для моделирования результатов трансляции;
  4. Разрабатывается итератор модельных структур;
  5. Разрабатываются мепперы:
    • для отображения модельных структур в предложения входного языка;
    • для отображения модельных структур в эталонную систему показателей выходных данных;
  6. Производится автоматическая генерация тестовых данных:
    • входные данные транслятора;
    • эталонная система показателей ожидаемых выходных данных транслятора;
  7. Для каждой сгенерированной пары тестовых данных в автоматическом режиме производится оценка правильности работы генератора кода в трансляторе: входные тестовые данные подаются на вход транслятору, полученный результат работы транслятора сравнивается на соответствие эталонной системе показателей.


Содержание  Назад  Вперед