170 похожих чатов

А использует кто property testing в Go?

11 ответов

27 просмотров

обычно сразу задают вопрос

Roman-Timofeev Автор вопроса
Denis
обычно сразу задают вопрос

Спасибо, я знаю. Но это тот редкий случай когда подобный вопрос имеет смысл, потому что если человек не пробовал такие тесты писать - нет смысла и спрашивать про инструменты/сложности которые при этом возникли.

типа convey?

Roman-Timofeev Автор вопроса
медленно
типа convey?

нет. convey - это bdd, но на нём можно и обычные unit/table тесты.

Roman-Timofeev Автор вопроса
медленно
типа convey?

Это скорее как quickcheck из scala или hypothesis в python. Идея в том, что ты описываешь какой-то закон для своего кода, а дальше фреймворк пытается найти значения при которых этот закон не выполняется. Т.е. это статистическая штука, но т.к. тестов она генерирует ОЧЕНЬ много, то результат сильно лучше чем при ручном написании тестов.

Roman Timofeev
Это скорее как quickcheck из scala или hypothesis ...

жаль что я не юзал ни скалу ни гипотезис

Roman Timofeev
Это скорее как quickcheck из scala или hypothesis ...

Сейчас потихоньку набирает популярность fuzzing Это в бок, но похожая штука

Roman-Timofeev Автор вопроса
медленно
типа convey?

Самое простое правило(допустим, тестируем Add(a,b int) : Add(a, b) == Add(b, a)

Roman-Timofeev Автор вопроса
Мерль
Сейчас потихоньку набирает популярность fuzzing Эт...

Да, это тоже хорошее направление. А что из популярного есть? Оба подхода похожи и вообще это можно было бы объединить в 1 фреймворк

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта