Если вы когда-нибудь задавались вопросом “А кто тестит мои тесты?”, то этот выпуск точно для вас. Мы дружно пытаем нашего гостя, Алексея Денисова, на тему того, что такое мутационное тестирование, и пытаемся придумать, как его встроить в процесс разработки софта. Ну и, конечно, обсуждаем 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
В мире больше 7 тысяч языков. С учетом того, что надо подстраиваться под культурные и социальные особенности пользователей, становится совсем сложно. Мы пригласили Алексея Тимина из Badoo, и он расска...
Облака — это, без преувеличения, новая реальность. Чтобы разобраться с устройством облачных технологий, его влиянием на индустрию, понять реальные профиты, взвесить риски и не потеряться в мире IaaS,...
Этот выпуск получает абсолютно заслуженное звание библии клиентской поддержки, ведь наш гость, Евгений Кузнецов, рассказал абсолютно про все нюансы этого направления. Мы разобрали по шагам, как создат...
Второй наш англоязычный выпуск, на сей раз в формате интервью! Почему так? А потому, что на борту Подлодки в этот раз Бьёрн Страуструп, создатель C++. Мы подумали: зачем говорить с Бьёрном только про...
Что? Кнопки, списки, чекбоксы, слайдеры и многое-многое другое. Как? В разметке, шаблонах, коде, декларативно, императивно, на HTML, XML, XAML, Javascript, Swift, Java, C#, C++ и не только. Как вы, во...
Время летит неумолимо: буквально вчера мы спорили о лучшей мобильной архитектуре, а сегодня выбираем лучшие способы обучению IT детей. И если вопрос "зачем обучать ребенка IT" уже не стоит, то "как cд...
В прошлых выпусках подкаста мы часто говорили про построение высоконадежных систем. Теперь пора разобраться с тем, как сохранить уверенность в этой надежности и вовремя среагировать на ошибки. Дмитрий...
Изобретательство – это творчество или всё же ремесло? Теория решения изобретательских задач говорит, что скорее второе. Для создания теории были изучены предыдущие патенты и выработаны законы развития...
В программировании, как и в лингвистике, языки не высечены в камне. В зависимости от решаемых задач и популярных в конкретный период времени парадигм, языки меняются и эволюционируют. Основное отличие...
"Стас, что тебе нравится больше, чем секвенировать геном тихоходок?" — это лишь вишенка на торте нашего первого научпоп выпуска. Доктор биологических наук Михаил Гельфанд погрузил Podlodka в мир биоин...
Представьте, что вы пришли на экскурсию в музей истории IT, и ваш экскурсовод ведет вас по залам, параллельно рассказывая, как формировалась инженерная культура, присущая странам Восточной Европы. А т...
Такого разнообразия языков, технологий и библиотек в одном выпуске уже не было давненько. А не потеряться в них нам помог Никита Соболев CTO wemake.services. Выпуск получился довольно холиварным, вот...
Так сложилось, что английский язык – это де-факто язык международного общения. А еще, так сложилось, что английский – основной язык в IT. Конечно, многие из нас слышали страшилки про программы вида «Е...
Как и в выпуске про AI, понятие «умный дом» скорее маркетинговое название автоматизации домашних девайсов. Вместе с Олегом Челбаевым, одним из основателей портала Sprut.ai, мы прошли возможный путь эв...
Традиционный новогодний спецвыпуск! Подводим итоги года шокирующими откровениями из мира аналитики подкаста, делимся самыми памятными историями, раздаем новогодние советы, дарим подарочки, и, конечно...
Без рефлексии нет опыта – эта фраза красной нитью проходит сквозь весь выпуск, в котором Вирна Штерн, коуч с большим опытом, учит нас анализировать свой прошлый опыт, учиться на его основе и ставить с...
За время существования Podlodka мы получили сотню вопросов о том, как мы делаем подкаст: формат, продакшн, распространение. Поэтому вместе с Львом Пикалевым, основателем студии «Подкастерская», мы по...
Во многих вакансиях очень любят писать, что кандидатам предстоит работать над «высоконагруженным сервисом». Что вообще понимается под высокой нагрузкой, мы ранее уже обсуждали, зато не обсуждали очень...
Долгожданное продолжение темы здоровья в Podlodka! Этот выпуск станет вашем проводником в мир ЗОЖ — два высококвалифицированных специалиста помогут нам разобраться в базовых, но невероятно важных сост...
Выпуск про AI начался с того, что это журналистское понятие, а под капотом ML и экспертные системы, о их влиянии на жизнь людей и поговорили. Иван Ямщиков, AI-евангелист из ABBYY, разложил всё по поло...
Зачем в 2019 году читать книги, когда вокруг есть куча статей и подкастов, как выбрать что-то интересное именно тебе и какими приемами пользоваться, чтобы потраченное время не пропало даром – эти вопр...
SRE — много кто слышал, но мало кто в деталях понимает, что же это такое. Команда Podlodka всегда на страже вашей осведомленности! Дмитрий Масленников, Head of SRE команды Tinkoff, а также бывший SRE...
Айтишное сообщество в последние несколько лет регулярно поднимает вопрос токсичности. Кто-то жалуется на невыносимых коллег, кто-то в ответ говорит, что айти – это не детский сад, и в нём все должно б...
Его спецификация насчитывает более тысячи страниц, многие профессиональные разработчики на нем не знают и половины возможностей языка, а его упоминанием пугают инженеров до 30-ти лет – все это про С++...
Вокруг поиска работы всегда крутилось много мифов и стыдных вопросов – можно ли торговаться при принятии оффера, стоит ли ходить по собеседованиям, если уже работаешь, как оценить свою востребованност...
Сейчас довольно часто говорят о том, что мейнстримовые языки программирования все чаще заимствуют концепции из мира функционального программирования, но при этом отдают главенствующую роль парадигме О...
Классическое корпоративное буллшит бинго обязательно включает в себя слова стратегия, миссия и вижн. Алексей Журба, CPO в Beru.ru, разобрал, что на самом деле кроется за громкими словами и десятками р...
Agile, One-to-one, KPI, DevOps, Kanban, OKR и еще десятки чудесных практик, методологий, подходов из разных областей в руках руководителей в ИТ. Но действительно ли "больше — лучше"? К чему ведет веде...
Квантовые вычисления достаточно хардкорная область из-за того, что она находится на стыке квантовой физики и функционального программирования. Изначально у нас были опасения, что мы не сможем в аудиоф...
Тестирование — неотъемлемая часть разработки, и за 130 выпусков мы не раз касались разных аспектов этой темы. Но полного погружения в индустрию еще не было, и этот выпуск призван исправить эту несправ...