Урок 3. Слайд 132-133

Ну или как-то так:

Поехали:

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

Содержимое слайда:
Какие аспекты вещей которые мы моделируем могут направлять наш процесс создания модели?
возможности
предпочтения
- компетентный анализ
- записи техподдержки
хронология
последовательности действий
- диаграмма состояний
- диаграмма управления
диаграммы данных
взаимодействия и зависимости
- деревья принятия решений
- диаграмма зависимости данных
таксономия мотивы
- анализ интересов
Слайд 133
Цель моделирования не обязательно состоит в том, чтоб доказать, что ПО работает правильно или нет. Цель часто состоит в том, чтоб выработать лучшее понимание и создать отправные точки для будущих исследований, иногда превращающихся в отчеты об ошибках или в уточнение модели.

Содержимое слайда:
Что делает модель моделью?

• Модель проще объекта за счет скрытия ряда аспектов
• С моделью можно работать делая предсказания и принимая решения на счет оригинала
• С моделью проще работать, чем с оригиналом