Форум программистов «Весельчак У»
  *
Добро пожаловать, Гость. Пожалуйста, войдите или зарегистрируйтесь.
Вам не пришло письмо с кодом активации?

  • Рекомендуем проверить настройки временной зоны в вашем профиле (страница "Внешний вид форума", пункт "Часовой пояс:").
  • У нас больше нет рассылок. Если вам приходят письма от наших бывших рассылок mail.ru и subscribe.ru, то знайте, что это не мы рассылаем.
   Начало  
Наши сайты
Помощь Поиск Календарь Почта Войти Регистрация  
 
Страниц: [1]   Вниз
  Печать  
Автор Тема: Курс лекций "Тестирование на основе моделей".  (Прочитано 921 раз)
0 Пользователей и 1 Гость смотрят эту тему.
Dale
Блюзмен
Модератор

ru
Offline Offline
Пол: Мужской

WWW
« : 07-02-2016 22:54 » 

URL: https://www.lektorium.tv/course/22774

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

Всего лишь неделя кодирования с последующей неделей отладки могут сэкономить целый час, потраченный на планирование программы. - Дж. Коплин.

Ходить по воде и разрабатывать программное обеспечение по спецификациям очень просто, когда и то, и другое заморожено. - Edward V. Berard

Любые проблемы в информатике решаются добавлением еще одного уровня косвенности – кроме, разумеется, проблемы переизбытка уровней косвенности. — Дэвид Уилер.
Страниц: [1]   Вверх
  Печать  
 

Powered by SMF 1.1.21 | SMF © 2015, Simple Machines