Курсы на русском языке

Программная инженерия

• Основы программной инженерии, Youtube - Владимир Ицыксон
• Введение в программную инженерию
• Введение в технологию программирования
• Юнит-тестирование и метрики покрытия кода тестами, Computer Science Center

Тестирование ПО

Видеолекции для специалистов в области информационной безопасности

Короткие видеолекции на тему фаззинга, статического анализа, динамического символьного выполнения и др. То, что надо, если вы хотите погрузиться в тему или планируете внедрять SDL в проекте. И не обращайте внимание на пометку "для специалистов в области информационной безопасности", лекции будут полезны всем, кто так или иначе связан с разработкой безопасного ПО. Видеозаписи: https://bdu.fstec.ru/education

Курс Святослава Куликова в ЕПАМ и книга

Основы тестирования программного обеспечения

Software Testing

Небольшой курс в рамках CSC по тестированию ПО от Mauro Pezzo.

Школа автоматизации процессов разработки

Курс для начинающих тестировщиков от инженеров Яндекса. Материалы: видео.

Тестирование на основе моделей - Кулямин Виктор. Материалы: слайды, видео

Серия семинаров по тестированию (автоматизация)

Серия семинаров по тестированию (автоматизация) в CSC.

Тестирование ПО: Базовый уровень

Курс на платформе Stepik, основан на официальной программе обучения "Сертифицированный тестировщик ПО Базового уровня" ISTQB и предназначен для подготовки к сдаче сертификационных экзаменов.

Формальная верификация и спецификация ПО

Верификация программ на моделях - курс Константина Савенкова в МГУ о моделировании с помощью SPIN/Promela.

Верификация параллельных и распределенных программных систем - Юрий Карпов. Материалы: видео.

Верификация программного обеспечения - курс от ИНТУИТ от Никиты Налютина и Сергея Синицына.

Software Verification - курс в CSC Натальи Шарыгиной про model checking.

Формальная спецификация и верификация программ (практикум) - курс лекций Александра Петренко из ИСП РАН на ВМК МГУ.

Введение в язык формальной верификации Coq - Антон Трунов

Введение в верификацию программ - Антон Трунов (спецкурс для МФТИ)

Инженерный подход к разработке ПО

Курс Васила Дядова в MIPT в 2020 году. Во время курса студенты разрабатывают формальные спецификации для аллокатора памяти и сборщика мусора в Alloy Analyzer. Материалы: слайды, видео.