CD
В действительно хорошо протестированных проектах тестов больше, чем кода
Мне известны цены тестов black box
Size: a a a
2020 August 24
EG
В SQLite — на три порядка
CD
Там качественный пакет это 1000% времени разработки, да
EG
Десятичных.
EG
Но формальная верификация тоже ебать какая дорогая.
EG
И «хорошо писать тесты» человечество научилось, а «хорошо делать формальную верификацию» — нет
ΑZ
тесты - нет, но формальная верификация не меньше 200%
верификация может быть как дороже, так и дешевле
ΑZ
зависит от ряда факторов
ΑZ
в среднем дороже конечно
CD
зависит от ряда факторов
в случае, когда верификация дешевле, она проведена не полностью :)
ΑZ
в случае, когда верификация дешевле, она проведена не полностью :)
да нет, верифицировать разворот списка например можно полностью и дешевле тестов
CD
на уровне 1000% тесты расчитаны на то, что против них действуют специально
CD
да нет, верифицировать разворот списка например можно полностью и дешевле тестов
да, решить задачу, которую вообще не надо решать
EG
А ещё тесты можно фаззить и это гениальное изобретение человечества.
EG
Фаззинг дешёвый и эффективный.
CD
Фаззинг дешёвый и эффективный.
Чуть шире фаззинга, в олимпиадном простонародье - стрессы
CD
Берём генераторы случайных входных данных и проверку выходных данных
ΑZ
да, решить задачу, которую вообще не надо решать
ну да ну да, это же ОЧЕВИДНО
ΑZ
сколько ошибок я в таких очевидных местах видел не счесть
CD
сколько ошибок я в таких очевидных местах видел не счесть
дело не в том, что ошибки не будет, это WA#1 любой использующей функции