SK
А как проперти тестом проверить фибоначи? Там же придётся тоже писать алгоритм вычисления внутри тэста. Получится или два алгоритма в итоге, или один и тот же алгоритм тестирует сам себя.
написать closed form.
Size: a a a
2020 October 20
Oℕ
ну каким свойствам должны соответствовать числа фибоначчи
SK
в тесте чтобы тестировать рекурсивный фибоначчи.
AS
сколько ни пытался проперти тесты - всегда оказывалось, что значительный кусок реализации оказывается в самом тесте. Потом надо писать ещё тест на эту реализацию 😁
NV
ну каким свойствам должны соответствовать числа фибоначчи
f(n) - f(n - 1) = f(n - 2) — норм свойство? (поправил)
Oℕ
например xn = xn-1 + xn-2
или xn / xn-1 ~ (sqrt(5) + 1) / 2 + eps
или xn / xn-1 ~ (sqrt(5) + 1) / 2 + eps
Oℕ
или ещё куча свойств
Oℕ
f(n) - f(n - 1) = f(n - 2) — норм свойство? (поправил)
это неправильное свойство
NV
это неправильное свойство
спасибо
Oℕ
f(n) - f(n - 1) = f(n - 2) — норм свойство? (поправил)
теперь это правильное свойство, молодец
ΑZ
f(n) - f(n - 1) = f(n - 2) — норм свойство? (поправил)
я уже заскриншотил промах акеллы
Oℕ
но вообще если проверить, что x0 = x1 = 1, и широко известное исправленно свойство Вилюнова, этого должно быть достаточно
ΑZ
f(n) - f(n - 1) = f(n - 2) — норм свойство? (поправил)
f = const 0 сюда подходит
Oℕ
мы на СП так и тестили
Oℕ
f = const 0 сюда подходит
да
NV
я уже заскриншотил промах акеллы
а ты кто
Oℕ
свойства не всегда однозначно задают функционал, на то они и свойства
ΑZ
а ты кто
маугли конечно
ΑZ
свойства не всегда однозначно задают функционал, на то они и свойства
ну да.