ΑZ
недаром говорят что ТДД помогает лучше архитектуру выстраивать, потому что что-то тестировать легко а что-то сложно
Size: a a a
2020 August 24
EG
А не существованию её практических реализаций.
ΑZ
Там, кстати, чудесный пример, почему тесты лучше формальной верификации :)
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
"нельзя переводить стрелку в направление стоящего поезда" == -100 человек
и лучше бы это забагало
ты выдаешь утверждения в стиле "апельсины громче белого цвета"
EG
Тесты не лучше формальной верификации.
Тесты лучше формальной верификации для проверки комплексного поведения нетривиальных систем
Тесты лучше формальной верификации для проверки комплексного поведения нетривиальных систем
p
Потому что до сих пор оно было похоже на «тесты не нужны»
Верификация лучше тестов поскольку:
1. Покрывает 100% случаев.
2. Можно переиспользовать.
3. Писать новый код можно с гарантиями на тайплевеле.
А тесты нужны если ты макака которая не умеет в верификацию, потому что тесты проще в изучении
1. Покрывает 100% случаев.
2. Можно переиспользовать.
3. Писать новый код можно с гарантиями на тайплевеле.
А тесты нужны если ты макака которая не умеет в верификацию, потому что тесты проще в изучении
EG
Формальная верификация лучше тестов для проверки поведения каких-то простых атомарных блоков
SP
динамическая душа требует тестов
EG
Фолрлмальная верификация, кроме того, хуже в тех случаях, когда она нетривиальна
CD
у тебя может быть архитектура которую хрен протестируешь
не может, тестам не важна архитектура
ну ладно, может, но нехрен такое писать
обычно цена в 5% разработки
ну ладно, может, но нехрен такое писать
обычно цена в 5% разработки
EG
Реверс списков каждый доказать может, а ты мне перемножение матриц докажи
EG
А сделать десять тысяч примеров на перемножение матриц для тестов — запросто
EG
Если есть эталонная реализация, можно даже фуззить
ΑZ
не может, тестам не важна архитектура
ну ладно, может, но нехрен такое писать
обычно цена в 5% разработки
ну ладно, может, но нехрен такое писать
обычно цена в 5% разработки
конечно может
ΑZ
и тесты это явно не 5% разработки
p
Тесты не лучше формальной верификации.
Тесты лучше формальной верификации для проверки комплексного поведения нетривиальных систем
Тесты лучше формальной верификации для проверки комплексного поведения нетривиальных систем
Наоборот, здесь верификация лучше
ΑZ
у меня в проекте на 300к строк бизнесового кода было 200к строк стестов
CD
и тесты это явно не 5% разработки
тесты - нет, но формальная верификация не меньше 200%
EG
Тесты ебать какие дорогие.
EG
В действительно хорошо протестированных проектах тестов больше, чем кода
EG
В самых протестированных — больше на порядок