Здравствуйте, scf, Вы писали:

K>>И у меня из этого возникла некая концепция “тяжёлых ассертов”, которую я хочу рассказать.

scf>property based testing?
scf>https://dev.to/jdsteinhauser/intro-to-property-based-testing-2cj8

Ассерты это совсем не тесты. Ассерты это проверка предусловий, постусловий, инвариантов в самом коде. Если ассерты легкие, они работают всегда. Если тяжелые, только по требованию, например, на стейджинге.

Разница между ассертами и тестами в том, что тесты проверяют небольшое ограниченное количество условий, ассерты проверяют всё, что проходит через функцию.

Например, у тебя есть функция, которая работает с BigInt, принимает BigInt и возвращает некоторый результат, который должен обладать определнными свойствами. Сколько тестов ты можешь себе позволить ? Ну 10, ну 100, может даже 1000. То есть, тесты очень дискретны — на фоне всего диапазона BigInt это почти ничего.

Для ассерта нужна функция, которая проверит, скажем, инвариант цикла или пост-условие...

Сказание о тонкостях хитромудрой разработки, о мультипарадигме, о добре и зле.

Здравствуйте, Kluchnik, Вы писали:

K>Раньше:
...
K>Сейчас:
...

Я убрал конспироложество. В кратце получается так — индустрия ИТ проходит все этапы становления, взросления. И постепенно в индустрию вовлекаются всё более широкие массы.

Все отрасли проходили или проходят такие же этапы. И точно так же, как и везде, находятся луддиты разного сорта, т.к. контингент, который плачет по былым временам. То ресурсов им не хватает, то скайп глючит, то слака не палит, то электрон жгётся.
Луддиты на то и луддиты, что бы изливать недовольство по поводу прогресса. ДО погромов, правда, дело еще не дошло.

Важно отметить, что всего 10 лет назад, когда софт был быстрым(был ли?) и неглючным(был ли?), Слаки не было и в помине, простых вещей приходилось ждать месяцами.

Поскольку вовлекаются масссы, то происходит разделение труда — потому можно видеть тестировщиков, верстальщиков, дизайнеров, девопсов, а не одного универсального всемогутора который всё умеет кое как.

Продолжение истории http://blogs.rsdn.org/mad_hollander/6985083

Несколько забавных фактов:
[list=1]

По совершенно непонятной мне причине, на сайте, который специально создан для получения информации на русском, примерно треть пишет названия городов и стран транслитом.

Пошутить любят многие, но две шутки лидируют с большим отрывом — написать "оттуда" и "от верблюда" (с разным количеством грамматических ошибок). Чуть реже указывают Землю. Когда захотите написать такое — помните о том, что на сайте уже есть несколько десятков таких остроумцев.

Некоторые зачем то заменяю часть букв в названии на похожие по начертанию латинские. Необъяснимо. Быть не таким как все, но чтобы этого никто не заметил?

Город, название которого искажают самым замысловатым образом — Спб. Вот неполный список вариантов (реальных написаний раза в 3 больше):
[q]
Петербург, Спб, Питер, Petersburg, Piter, Spb, S-Pb, Petersberg, Peterburg, CПб, Пбург, Putinsburg, Peterbourg, С-Пб, Перебрург, Перебург, Перербург, Петербургский, Петерург, Petersrburg, Peter, Pietari, Pietarista...

Близится день, когда Корпорация Микрософт наконец освоит своё детище — .Net Framework.

Одна из самых популярных тенденций в области защиты приложений нынешнего десятилетия — технология виртуального патчинга (virtual patching, VP), позволяющая защитить веб-приложение от эксплуатации имеющихся в нем известных уязвимостей на уровне межсетевого экрана уровня веб-приложений (web application firewall; здесь и далее под WAF подразумевается выделенное решение, функционирующее на отдельном узле, между шлюзом во внешнюю сеть и веб-сервером). Технология VP основана на построении правил фильтрации HTTP-запросов на стороне WAF по результатам работы средств статического анализа защищенности приложения (static application security testing, SAST). Однако из-за того, что средства SAST и WAF опираются на различные модели представления приложения и различные методы принятия решений, на рынке до сих пор нет по-настоящему эффективных решений их интеграции. В рамках SAST работа с приложением осуществляется по модели белого ящика и, как правило, используются формальные подходы к поиску уязвимостей в коде.

Поскольку ряд товарищей спрашивает про сабж, попытаюсь поддерживать более менее актуальный список того что есть.