В последнее время все чаще встречаются упоминания о некоем волшебном средстве — тестировании на основе свойств (property based testing, если надо погуглить англоязычную литературу). Большинство статей на эту тему рассказывают о том, какой это классный подход, затем на элементарном примере показывают как написать такой тест используя какой-то конкретный фреймворк, в лучшем случае подсказывают несколько часто встречающихся свойств, и… на этом все заканчивается. Дальше изумленный и воодушевленный читатель пытается применить все это на практике, и упирается в то, что свойства как-то не придумываются. И к большому сожалению часто на этом сдается. В этой статье я постараюсь расставить приоритеты немного по другому. Начну все-таки с более-менее конкретного примера, чтобы объяснить что это за зверь такой. Но пример, надеюсь, не совсем типичный для подобного рода статей. Затем попробую разобрать некоторые проблемы, связанные с этим подходом, и как их можно решить. А вот дальше — свойства, свойства и только свойства, с примерами куда их можно приткнуть. Интересно?
Читать полностью »
Архив за 22 декабря 2018
Как перестать беспокоиться и начать писать тесты на основе свойств
2018-12-22 в 23:59, admin, рубрики: contracts, property-based testing, tdd, Программирование, Совершенный код, Тестирование IT-систем, Тестирование веб-сервисовToshiba не страшится перепроизводства NAND и не будет продавать Toshiba Memory
2018-12-22 в 23:12, admin, рубрики: Новости 
Перепроизводство на рынке флеш-памяти NAND уже снизило контрактные цены на эту продукцию на 10 % за прошедший квартал и грозится дальше обрушивать цены на флеш и SSD в течение всего следующего года. В связи с этим и по другим вопросам журналисты Reuters обратились за разъяснением к генеральному директору корпорации Toshiba.
Директор Toshiba Corp Нобуаки Куруматами (Nobuaki Kurumatani, REUTERS/Issei Kato)
OnePlus 6T с 10 ГБ «оперативки» против iPhone XS Max: тест на скорость
2018-12-22 в 22:03, admin, рубрики: Новости 
OnePlus представила новую версию своего флагмана — OnePlus 6T McLaren Edition — ранее в этом месяце. Новый смартфон получил несколько отличный от обычного 6T дизайн, а также, в частности, больший объем оперативной памяти: 10 гигабайтов. Авторы YouTube-канала PhoneBuff решили сравнить в тесте на скорость новый OnePlus и флагманский смартфон Apple iPhone XS Max.
Годные туториалы на YouTube
2018-12-22 в 21:39, admin, рубрики: edisonsoftware, javascript, python, Блог компании Edison, Программирование, туториалы, Учебный процесс в ITНа YouTube много бесплатных обучающих и курсов и туториалов.
Я веду freeCodeCamp, YouTube канал без рекламы. У нас есть полные видеокурсы и учебные пособия по многим популярным языкам программирования и фреймворкам (включая JavaScript, Python, Java, Ruby, C, C ++, Angular и не только).
Есть и другие YouTube каналы с бесплатными уроками по программированию, которые ничуть не хуже, а иногда даже лучше, чем платные.
В этой статье я перечисляю десять YouTube каналов, которые можно посмотреть, чтоб прокачаться в программировании. Расположение каналов — случайное.
Бывает полезно посмотреть одну и ту же тему у разных преподов, так можно глубже разобраться в вопросе.
Есть много отличных каналов, для которых у меня не хватило места в этом списке. Поделитесь своими находками в комментах.
Читать полностью »
В Китае участились случаи продаж восстановленных видеокарт под видом новых
2018-12-22 в 21:12, admin, рубрики: Гаджеты и устройства для гиков 
Раньше бытовала присказка «неисповедимы пути OEM'а»Читать полностью »
Нужны ли cookie-баннеры в эпоху GDPR — обсуждаем ситуацию и требования закона
2018-12-22 в 21:08, admin, рубрики: 1cloud, cookies, gdpr, Блог компании 1cloud.ru, персональные данные, Разработка веб-сайтовБаннеры на сайтах с информацией о cookies часто закрывают чуть ли не половину контента, чем раздражают пользователей. Разберемся, что на самом деле требуют европейские законы, из-за которых эти всплывающие окна появились, и можно ли обойтись без баннеров совсем.
Рекордные продажи подключаемых электромобилей в КНР за ноябрь 2018-го года
2018-12-22 в 20:55, admin, рубрики: транспорт будущего, электромобили
Объемы продаж подключаемых электромобилей в КНР за 11 месяцев этого года превышают 900 тыс. единиц. Если тенденция прошлых месяцев сохранится, то цифра в 1 миллион подключаемых электромобилей будет достигнута. Чтоб хоть как-то понимать объемы продаж в КНР, то стоит напомнить, что отметка в 1 миллион мировых продаж подключаемых электромобилей была достигнута в 2017-м году (при этом почти половина приходилась на КНР).
Читать полностью »
Хеппи энд — почтовые ящики на доменах портала Qip.ru переехали к Яндексу
2018-12-22 в 20:42, admin, рубрики: qip.ru, информационная безопасность, почта, Социальные сети и сообщества, яндексПривет!
Думаю, что небольшой, но важный апдейт к моей публикации "Забирайте свои данные, отвязывайте почту и бегите с qip.ru" заслуживает отдельного топика. читатель edyatl обратил мое внимание на следующее объявление, появившееся на главной странице qip.ru:
Нынешние владельцы портала QIP по каким-то причинам, известными лишь им одним, в конечном итоге решили просто перенести все почтовые аккаунты на почту для домена Яндекса.
Читать полностью »
Общественный транспорт Калифорнии за 20 лет должен стать безопасным для окружающей среды
2018-12-22 в 20:25, admin, рубрики: автобусы, атмосфера, Блог компании Madrobots, загрязнение, калифорния, транспорт, транспорт будущего, экология
Дни, когда жители штата Калифорния в США дышали выхлопными газами проезжавших мимо автобусов могут вскоре статьи историей. Дело в том, что власти региона постановили сделать весь общественный транспорт «безвыхлопным» в течение 20 лет.
Законопроект стал законом после проведения единогласного голосования в эту пятницу. Отдельно стоит отметить, что власти штата не согласны с проводимой Трампом политикой понижения экологических стандартов транспорта, с целью продвижения нефтегазовой промышленности и соответствующей продукции.
Читать полностью »
Курс MIT «Безопасность компьютерных систем». Лекция 21: «Отслеживание данных», часть 3
2018-12-22 в 20:09, admin, рубрики: Анализ и проектирование систем, Блог компании ua-hosting.company, информационная безопасность, отслеживание данных, ПрограммированиеМассачусетский Технологический институт. Курс лекций #6.858. «Безопасность компьютерных систем». Николай Зельдович, Джеймс Микенс. 2014 год
Computer Systems Security — это курс о разработке и внедрении защищенных компьютерных систем. Лекции охватывают модели угроз, атаки, которые ставят под угрозу безопасность, и методы обеспечения безопасности на основе последних научных работ. Темы включают в себя безопасность операционной системы (ОС), возможности, управление потоками информации, языковую безопасность, сетевые протоколы, аппаратную защиту и безопасность в веб-приложениях.
Лекция 1: «Вступление: модели угроз» Часть 1 / Часть 2 / Часть 3
Лекция 2: «Контроль хакерских атак» Часть 1 / Часть 2 / Часть 3
Лекция 3: «Переполнение буфера: эксплойты и защита» Часть 1 / Часть 2 / Часть 3
Лекция 4: «Разделение привилегий» Часть 1 / Часть 2 / Часть 3
Лекция 5: «Откуда берутся ошибки систем безопасности» Часть 1 / Часть 2
Лекция 6: «Возможности» Часть 1 / Часть 2 / Часть 3
Лекция 7: «Песочница Native Client» Часть 1 / Часть 2 / Часть 3
Лекция 8: «Модель сетевой безопасности» Часть 1 / Часть 2 / Часть 3
Лекция 9: «Безопасность Web-приложений» Часть 1 / Часть 2 / Часть 3
Лекция 10: «Символьное выполнение» Часть 1 / Часть 2 / Часть 3
Лекция 11: «Язык программирования Ur/Web» Часть 1 / Часть 2 / Часть 3
Лекция 12: «Сетевая безопасность» Часть 1 / Часть 2 / Часть 3
Лекция 13: «Сетевые протоколы» Часть 1 / Часть 2 / Часть 3
Лекция 14: «SSL и HTTPS» Часть 1 / Часть 2 / Часть 3
Лекция 15: «Медицинское программное обеспечение» Часть 1 / Часть 2 / Часть 3
Лекция 16: «Атаки через побочный канал» Часть 1 / Часть 2 / Часть 3
Лекция 17: «Аутентификация пользователя» Часть 1 / Часть 2 / Часть 3
Лекция 18: «Частный просмотр интернета» Часть 1 / Часть 2 / Часть 3
Лекция 19: «Анонимные сети» Часть 1 / Часть 2 / Часть 3
Лекция 20: «Безопасность мобильных телефонов» Часть 1 / Часть 2 / Часть 3
Лекция 21: «Отслеживание данных» Часть 1 / Часть 2 / Часть 3Читать полностью »