Если вы когда-нибудь задавались вопросом “А кто тестит мои тесты?”, то этот выпуск точно для вас. Мы дружно пытаем нашего гостя, Алексея Денисова, на тему того, что такое мутационное тестирование, и пытаемся придумать, как его встроить в процесс разработки софта. Ну и, конечно, обсуждаем Mull - инструмент для создания и расстрела мутантов для LLVM.
Содержание:
- 00:00 - Приветствие
- 00:58 - Знакомство с гостем этого выпуска, Алексеем Денисовым
- 06:10 - Про Code Coverage
- 21:35 - Что такое мутационное тестирование
- 39:10 - Длительность мутационного тестирования
- 43:00 - Оптимизация мутационного тестирования
- 47:30 - LLVM
- 49:38 - Использование Mull в iOS разработке
- 59:18 - Continuous Mutation Testing
- 01:05:14 - Планы развития Mull
- 1:14:00 - Последние новости: Android O, Apple Clips.
- 1:24:55 - Ответы на вопросы слушателей из нашего чата: про софт, который используют ведущие, и снова про карьерную лестницу.
Полезные ссылки:
- Блог Алексея Денисова
https://lowlevelbits.org
- Доклад про мутационное тестирование на FOSDEM
https://www.youtube.com/watch?v=YEgiyiICkpQ
- Репозиторий Mull
https://github.com/mull-project/mull
- LLVM-based Mutation Testing System. Request For Comments
http://lowlevelbits.org/llvm-based-mutation-testing-system/
- Новая версия Android O
https://tproger.ru/news/android-o-developer-preview/
- Приложение Apple Clips
http://www.apple.com/clips/
Плейлист
Podlodka Podcast
Что общего между очередью в банке, распространением пандемии некоего вируса и попытками несчастных роботов научиться стоять на своих конечностях? А то, что все эти процессы поддаются имитационному мод...
Откуда берутся карты, как они работают под капотом, как используются и обновляются – на эти и многие другие вопросы нам ответил Дорофей Пролесковский, Head of Product в kontur.io.
Поддержи лучший под...
Голос – это инструмент, который помогает нам быть интересным, понятным, убедительным и в конечном счете услышанным. В гости к нам пришел Сергей Вострецов, голос которого вы слышали множество раз в сам...
Наш цикл языковых выпусков будет неполным без языка, который c 2001 года не опускался в рейтинге TIOBE ниже второго места. Java — это не просто язык, и даже не просто платформа. Это целый мир со своей...
Включайте этот выпуск и приготовьтесь на следующие два часа погрузиться в увлекательнейший мир дата-центров! Тёма Гавриченков, технический директор Qrator Labs, рассказал нам всё, начиная от сертифика...
Мы живем во время постмодерна, когда рисовать иллюстрации может практически каждый, даже формально не умея этого делать. Кирилл Анастасин, автор комиксов Комикаки, поделился огромным количеством практ...
Мы в Podlodka уже много обсуждали карьеру разработчика: как искать работу, и то, как проходить собеседование и то, как развиваться в той или иной роли. Но есть еще один важный этап рабочего цикла, с к...
Многие компании пытаются добавить геймификацию в свою повседневную жизнь, но часто она заканчивается на уровне чашки за статью на Хабр. Мы поговорили с сооснователем Level.Travel Эллином Толстовым, ре...
Дописываешь последнюю строчку кода, запускаешь билд и выдыхаешь. Все, работа сделана! А тем временем где-то в недрах пайплайна сборки запускается компилятор, и все, что сделал программист, превращаетс...
Мы ведем переговоры каждый день – споря о сроках выполнения задачи, проходя собеседование на работу, договариваясь о скидке в магазине. И чаще всего мы это делаем неправильно. В этом выпуске Илья Сине...
Если JS убьет все языки, а Wasm убьет JS, то что нам останется? Вместе с Сергеем Рубановым разобрались откуда родилась идея технологии, обсудили технические детали и что ждет Wasm в будущем. Кажется,...
Третий заход на "безопасность" в Podlodka, но с абсолютно новым уровнем раскрытия темы — ведь мы уже давно не мобильный подкаст! К нам в гости пришел Сергей Белов, руководитель продуктовой безопасност...
Наверное, каждый второй пробовал себя в качестве автора технических статей. Популярности добиваются немногие, а истории вроде блога vas3k — уникальны. Почему умирает хабр? Нужно ли спать с "Пиши, сокр...
Зачем писать код, если можно его не писать? А если принять в расчет то, что многие проекты вообще не доживают до первого релиза, то зачем писать код, который скорее всего придется потом выкинуть? Имен...
Чтобы сделать свою собственную игру, нужно разобраться в игровых движках, научиться рисовать, написать сюжет, деконструировать геймплей чужих проектов и рассчитать баланс собственного. Есть и путь про...
Времена дословного перевода давно ушли, и современный машинный перевод достойно справляется со своей задачей. С руководителем Яндекс.Переводчика Дэвидом Талботом мы поговорили о технических сложностях...
Мы собрали все самые частые мифы и вопросы о здоровом сне и разобрали их в одном выпуске с помощью Александры Пучковой, старшего научного сотрудника лаборатории нейробиологии сна и бодрствования, и Ал...
В мире больше 7 тысяч языков. С учетом того, что надо подстраиваться под культурные и социальные особенности пользователей, становится совсем сложно. Мы пригласили Алексея Тимина из Badoo, и он расска...
Облака — это, без преувеличения, новая реальность. Чтобы разобраться с устройством облачных технологий, его влиянием на индустрию, понять реальные профиты, взвесить риски и не потеряться в мире IaaS,...
Этот выпуск получает абсолютно заслуженное звание библии клиентской поддержки, ведь наш гость, Евгений Кузнецов, рассказал абсолютно про все нюансы этого направления. Мы разобрали по шагам, как создат...
Второй наш англоязычный выпуск, на сей раз в формате интервью! Почему так? А потому, что на борту Подлодки в этот раз Бьёрн Страуструп, создатель C++. Мы подумали: зачем говорить с Бьёрном только про...
Что? Кнопки, списки, чекбоксы, слайдеры и многое-многое другое. Как? В разметке, шаблонах, коде, декларативно, императивно, на HTML, XML, XAML, Javascript, Swift, Java, C#, C++ и не только. Как вы, во...
Время летит неумолимо: буквально вчера мы спорили о лучшей мобильной архитектуре, а сегодня выбираем лучшие способы обучению IT детей. И если вопрос "зачем обучать ребенка IT" уже не стоит, то "как cд...
В прошлых выпусках подкаста мы часто говорили про построение высоконадежных систем. Теперь пора разобраться с тем, как сохранить уверенность в этой надежности и вовремя среагировать на ошибки. Дмитрий...
Изобретательство – это творчество или всё же ремесло? Теория решения изобретательских задач говорит, что скорее второе. Для создания теории были изучены предыдущие патенты и выработаны законы развития...
В программировании, как и в лингвистике, языки не высечены в камне. В зависимости от решаемых задач и популярных в конкретный период времени парадигм, языки меняются и эволюционируют. Основное отличие...
"Стас, что тебе нравится больше, чем секвенировать геном тихоходок?" — это лишь вишенка на торте нашего первого научпоп выпуска. Доктор биологических наук Михаил Гельфанд погрузил Podlodka в мир биоин...
Представьте, что вы пришли на экскурсию в музей истории IT, и ваш экскурсовод ведет вас по залам, параллельно рассказывая, как формировалась инженерная культура, присущая странам Восточной Европы. А т...
Такого разнообразия языков, технологий и библиотек в одном выпуске уже не было давненько. А не потеряться в них нам помог Никита Соболев CTO wemake.services. Выпуск получился довольно холиварным, вот...
Так сложилось, что английский язык – это де-факто язык международного общения. А еще, так сложилось, что английский – основной язык в IT. Конечно, многие из нас слышали страшилки про программы вида «Е...