вторник, 8 июля 2014 г.

Урок 3. Слайды 94-96

В выходные разблокировал ачивку - проехать сотню километров зараз.
Пруф
Идею поддержали @igorlukanin, @xoposhiy и @sameoldmadness
Открыли отличную тропу до Березовского, с мостом через большую кольцевую. рекомендую.
Примерно к часу были у Сарапулки. Там заканчивались соревнования 5я жажда скорости.
Прокатились вместе с шоссерами. Ачивку "обогнать шоссера на МТБ в его родной стихии" разблокировать не смогли.
Для справки, лучшая средняя скорость  участников - 44км/ч, худшая средняя - 28км/ч
Я ехал 24км/ч, Паша 25 км/ч.

На обратном пути нас тормознула доблестная полиция и списала номера рам с целью поиска угнанных. За что от нас ГиБДД большое спасибо - какая-то работа идет.

В непогоду, само собой, попали, которую и пережидали в каком-то подъезде вблизи шарташа, походу решив, что надо создавать подъездный стартап, раз уж нас тут собралось четверо, причем есть бекенд, фронтенд, тестер и ПМ.

В целом маршрут рекомендую, занятно.

Поехали:

Слайд 94
Вот несколько связанных с оракулами определений, которые будут часто использоваться в лекциях.

Содержимое слайда:
SUT: тестируемое ПО. Аналогично AUT - тестируемое приложение. или PUT - тестируемая программа.
Эталонная программа - если мы сравниваем поведение SUT с поведением другой программы, то вторая будет называться эталонной.
Компаратор: человек или ПО, сравнивающие поведение SUT и оракула.

Слайд 95
Тестирование было бы намного проще, если бы у нас были настоящие оракулы. Но у нас их нет.
Рассмотрим эталонный оракул, для примера. Когда мы сравниваем вычисления в двух таблицах, возможна ситуация, когда в них присутствует одинаковая ошибка. Nancy Levenson's работа с системами связанными с безопасностью показывает, что такое случается чаще, чем вы могли бы думать. Разные реализации могут быть основаны на одном и том же неверном алгоритме или быть связанными с одинаково неправильным пониманием алгоритма. Вдобавок, тестируемая таблица может быть корректной, а ошибка находиться в эталонном ПО.
Иногда баги попадают и в эталонное ПО

Слайд 96
Elayne Wayker опубликовала блестящий документ в 1980 году, демонстрирующий, что в большинстве случаев обычные оракулы не существуют. Она заложила идею того, что мы сейчас называем эвристиками.

Комментариев нет:

Отправить комментарий