Здравствуйте, 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 работа с приложением осуществляется по модели белого ящика и, как правило, используются формальные подходы к поиску уязвимостей в коде.

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

C/C++. Прикладные вопросы

Какие средства используются в C++ для работы с базами данных?

C/C++

char, signed char, unsigned char

.NET

Посоветуйте парсер
C# 6.0, nameof(private property)
Наследование или фабрика ?

ASP.NET

.NET Core Roadmap

Компьютерные священные войны

Обратная совместимость
кислотный дизайн
Касперский написал-таки ось
Почему современные консоли такое днище ?
Хочу изучить новый язык — посоветуйте
Win10 success story

Архитектура

Кто что думает про GraphQL?

Информационная безопасность

Взломали сервер на Amazon ( AWS )

Философия программирования

Опциональные типы

Shareware и бизнес

Почему доллар падает
Виртуальные карты и зарубежные интернет-магазины
Непрерывные скачивания
Обмен ключами.
Hetzner насчитал VAT
Продвижение на SO
Идея: прога-автоответчик для ответа на звонки

Сорри за задержку.

C/C++. Прикладные вопросы

Простенькую защиту от длительного пользования прогой

C/C++

Прошу пояснений по синхронизации acquire-release

Qt

Размеры главного окна

.NET

[ANN] VS2017

.NET

НеUIёвая асинхронная очередь + красивый троттлинг
Минутка WTF-16: Nice try
Создание кроссплатформенного GUI для .Net с помощью CEF и An
По поводу туплов

Алгоритмы

свести задачу к мат.модели?

Компьютерные священные войны

Права доступа к переменным
Помнится было тут обсуждение про то что Мюнхен на Линукс переходит
Go vs Erlang vs Elixir

Низкоуровневое программировани

Установка WDK в два дерева файловой системы

Сети, сокеты, протоколы

Аналог share folder на windows

Архитектура программного обеспечения

Объект про себя знает не все, но должен себя отрисовывать.
Service Discovery

Информационная безопасность

MITM — что это? Реальная проблема, или миф?

Shareware и бизнес

Гугл колбасит
Windows Defender vs Inno Setup
А вы готовы к запрету динамического нативного кода ?

О работе

Всё, что вы хотели узнать об IT в СПб, но стеснялись спросить
Контракторы в РФ
Как Грамотно отказывать юзерам в хотелках

Библиотека CodeJam

[Feature request] OrderedDictionary

Образование и наука

Комиссия РАН признала гомеопатию лженаукой