Протестировал
Рекламу и анонсы не размещаю. Авторский канал о качественной разработке ПО (процессы, тестирование, формальная верификация и спецификация). Контакт: @ligurio
Авторский канал о качественной разработке ПО, специализирующийся на тестировании, фаззинге, формальной верификации и статическом анализе кода. Автор делится экспертизой по LuaJIT, Tarantool и инструментам обеспечения надёжности ПО.
Когда твой папа тестировщик. Спасибо @richiefreedom за видео. #шапито
Разработчики Allure встроили отправку анонимной статистики в отчёты и не написали об этом ни слова в документации, только краткое описание в одном из файлов репозитория Allure. В статистику попадают т…
Авиакомпания из Англии отдала разработку софта для регистрации пассажиров на рейс на аутсорсинг. В стране аутсорсинга слово “miss” использовалось для девочек и в результате все незамужние женщины полу…
Рассказал, как мы тестируем Tarantool https://habr.com/ru/company/vk/blog/584864/
В докладе "О чём я говорю, когда говорю о тестировании корректности работы компиляторов" я рассказывал про один из способов верификации оптимизаций в компиляторах с помощью SMT-солвера. Такой способ и…
| Day | Week | Month | Year | All time | |
|---|---|---|---|---|---|
| Subscribers | — | — | — | — | #941of 1.5K |
| Posts | — | #543of 565 | #759of 929 | #895of 1.1K | #972of 1.3K |
| Citations | — | — | — | — | #3480of 3.6K |