URL:
https://www.lektorium.tv/course/22774Данный курс из трех лекций (примерно по полтора часа каждая) прочитан сотрудником Института системного программирования РАН Виктором Куляминым.
Цитата из аннотации к курсу:
Несмотря на долгое развитие Computer Science использование формальных математических моделей и строгих методов при промышленной разработке программного обеспечения пока остается редким исключением. Причины этого — высокая стоимость применения формальных методов и небольшое число специалистов, умеющих работать с ними эффективно.
К счастью, данный курс - одно из тех самых редких исключений. В нем вы не услышите ни слова о том, что "тестирование - процесс творческий" (впрочем, тема "творчества" - вообще больной вопрос программной инженерии в целом, и тестирование - не единственная жертва "творцов"), что тестировать может каждый без специального образования, но наделенный особым талантом, и т.д. Напротив, слушатель оценит строгий систематический подход к проблеме тестирования.
К плюсам отнесу также хорошее изложение материала лектором, минимум слов-паразитов, пауз/мычания и прочих ораторских приемов, способных испортить впечатление даже от блестящего материала. Я слушал эти лекции с удовольствием.
Курс будет полезен всем, за исключением, может быть, экспертов по качеству ПО, которым данный материал должен быть знаком.
