free-software-testing-courses.md

In English

• QA Academy
• QA and Automation course
• Udacity - Software Testing Methods
• Udacity - Software Debugging
• Software Testing
• Coursera:
  • Безопасность программного обеспечения
  • Introduction to User Testing
• Formal verification
  • Interactive Computer Theorem Proving
  • A survey of automated theorem proving
  • [Advanced Topics in Software Verification]
  • IMC010: Type Theory and Coq
  • Logical Verification 2016–2017
  • Tutorials and advanced lectures by Types Project
  • Modelling and verifying algorithms in Coq: an introduction
  • Coq in a Hurry
  • Theorem Proving - Principles, Techniques, Applications 1, 2
  • Formal Specification (F28FS)
  • Formal Reasoning About Programs
  • ...and more

In Russian

• Интуит - Основы тестирования программного обеспечения
• Интуит - Введение в программную инженерию
• Интуит - Верификация программного обеспечения
• Интуит - Введение в технологию программирования
• Mail.Ru - Основы тестирования программного обеспечения
• Яндекс - Школа тестирования: Ручное тестирование и Автоматизация тестирования (Youtube)
• Яндекс - Школа автоматизации процессов разработки
• Яндекс - Школа тестирования баннерной системы
• СПбГПУ
  • Курс "Методы анализа и обеспечения качества ПО"
  • Курс "Тестирование ПО"
  • Software Testing 101 (на английском, на русском)
  • Software Testing 102
  • Software Testing 103
  • Курс «Формальные методы обеспечения качества ПО»
• Лекториум - Тестирование на основе моделей
• Лекториум - Unit-тестирование и метрики покрытия кода тестами
• CSC - Software Verification Слайды
• CSC - Основы программной инженерии