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

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


scf>property based testing?

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

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

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

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

Для ассерта нужна функция, которая проверит, скажем, инвариант цикла или пост-условие...
18.04.2019
Ikemefula
Сказание о тонкостях хитромудрой разработки, о мультипарадигме, о добре и зле.
11.10.2018
Ikemefula
Здравствуйте, Kluchnik, Вы писали:

K>Раньше:

...
K>Сейчас:
...

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

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

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

Поскольку вовлекаются масссы, то происходит разделение труда — потому можно видеть тестировщиков, верстальщиков, дизайнеров, девопсов, а не одного универсального всемогутора который всё умеет кое как.
25.04.2018
Ikemefula
Продолжение истории http://blogs.rsdn.org/mad_hollander/6985083
16.09.2014
AndrewVK
Несколько забавных фактов:
[list=1]
  • По совершенно непонятной мне причине, на сайте, который специально создан для получения информации на русском, примерно треть пишет названия городов и стран транслитом.
  • Пошутить любят многие, но две шутки лидируют с большим отрывом — написать "оттуда" и "от верблюда" (с разным количеством грамматических ошибок). Чуть реже указывают Землю. Когда захотите написать такое — помните о том, что на сайте уже есть несколько десятков таких остроумцев.
  • Некоторые зачем то заменяю часть букв в названии на похожие по начертанию латинские. Необъяснимо. Быть не таким как все, но чтобы этого никто не заметил?
  • Город, название которого искажают самым замысловатым образом — Спб. Вот неполный список вариантов (реальных написаний раза в 3 больше):
    [q]
    Петербург, Спб, Питер, Petersburg, Piter, Spb, S-Pb, Petersberg, Peterburg, CПб, Пбург, Putinsburg, Peterbourg, С-Пб, Перебрург, Перебург, Перербург, Петербургский, Петерург, Petersrburg, Peter, Pietari, Pietarista...
  • 05.12.2017
    Ikemefula
    Близится день, когда Корпорация Микрософт наконец освоит своё детище — .Net Framework.
    20.09.2017
    kochetkov.vladimir
    Одна из самых популярных тенденций в области защиты приложений нынешнего десятилетия — технология виртуального патчинга (virtual patching, VP), позволяющая защитить веб-приложение от эксплуатации имеющихся в нем известных уязвимостей на уровне межсетевого экрана уровня веб-приложений (web application firewall; здесь и далее под WAF подразумевается выделенное решение, функционирующее на отдельном узле, между шлюзом во внешнюю сеть и веб-сервером). Технология VP основана на построении правил фильтрации HTTP-запросов на стороне WAF по результатам работы средств статического анализа защищенности приложения (static application security testing, SAST). Однако из-за того, что средства SAST и WAF опираются на различные модели представления приложения и различные методы принятия решений, на рынке до сих пор нет по-настоящему эффективных решений их интеграции. В рамках SAST работа с приложением осуществляется по модели белого ящика и, как правило, используются формальные подходы к поиску уязвимостей в коде.
    06.08.2014
    AndrewVK
    Поскольку ряд товарищей спрашивает про сабж, попытаюсь поддерживать более менее актуальный список того что есть.
    21.02.2017
    AndrewVK
    17.02.2017
    AndrewVK
    Сорри за задержку.

    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

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

    Комиссия РАН признала гомеопатию лженаукой
    1  2  3  4  5  6  7  …  31  > rss