Сообщение Re[4]: Юнит-тесты сортировок от 23.10.2019 7:40
Изменено 23.10.2019 11:33 B0FEE664
Re[4]: Юнит-тесты сортировок
Здравствуйте, SkyDance, Вы писали:
BFE>>А зачем тестирование на случайных данных назвали property-based testing?
SD>Потому что эти тесты проверяют соблюдение определенных свойств (properties).
А как тест на случайных данных может проверять что-то отличное от свойств ожидаемого результата?
SD>А потом не просто вываливают на тебя "вот эта случайная последовательность из 10,000 шагов провалила тест", а вычисляют минимальную последовательность, которая проваливает тест (при условии отсутствия побочных эффектов, которые, очевидно, должны отсутствовать у алгоритов сортировки).
Я правильно понимаю, что это "вычисление" минимальной последовательности выполняется перебором всех сокращённых вариантов, путём отбрасывания части входных данных, первой случайной последователности проволившей тест?
BFE>>А зачем тестирование на случайных данных назвали property-based testing?
SD>Потому что эти тесты проверяют соблюдение определенных свойств (properties).
А как тест на случайных данных может проверять что-то отличное от свойств ожидаемого результата?
SD>А потом не просто вываливают на тебя "вот эта случайная последовательность из 10,000 шагов провалила тест", а вычисляют минимальную последовательность, которая проваливает тест (при условии отсутствия побочных эффектов, которые, очевидно, должны отсутствовать у алгоритов сортировки).
Я правильно понимаю, что это "вычисление" минимальной последовательности выполняется перебором всех сокращённых вариантов, путём отбрасывания части входных данных, первой случайной последователности проволившей тест?
Re[4]: Юнит-тесты сортировок
Здравствуйте, SkyDance, Вы писали:
BFE>>А зачем тестирование на случайных данных назвали property-based testing?
SD>Потому что эти тесты проверяют соблюдение определенных свойств (properties).
А как тест на случайных данных может проверять что-то отличное от свойств ожидаемого результата?
SD>А потом не просто вываливают на тебя "вот эта случайная последовательность из 10,000 шагов провалила тест", а вычисляют минимальную последовательность, которая проваливает тест (при условии отсутствия побочных эффектов, которые, очевидно, должны отсутствовать у алгоритов сортировки).
Я правильно понимаю, что это "вычисление" минимальной последовательности выполняется перебором всех сокращённых вариантов путём отбрасывания части входных данных первой случайной последователности проволившей тест?
BFE>>А зачем тестирование на случайных данных назвали property-based testing?
SD>Потому что эти тесты проверяют соблюдение определенных свойств (properties).
А как тест на случайных данных может проверять что-то отличное от свойств ожидаемого результата?
SD>А потом не просто вываливают на тебя "вот эта случайная последовательность из 10,000 шагов провалила тест", а вычисляют минимальную последовательность, которая проваливает тест (при условии отсутствия побочных эффектов, которые, очевидно, должны отсутствовать у алгоритов сортировки).
Я правильно понимаю, что это "вычисление" минимальной последовательности выполняется перебором всех сокращённых вариантов путём отбрасывания части входных данных первой случайной последователности проволившей тест?