Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Тестирование на основе моделей
Санкт-Петербург / весна 2010, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

Несмотря на долгое развитие Computer Science использование формальных математических моделей и строгих методов при промышленной разработке программного обеспечения пока остается редким исключением. Причины этого — высокая стоимость применения формальных методов и небольшое число специалистов, умеющих работать с ними эффективно. В последние 10 лет удалось существенно снизить эти барьеры и продемонстрировать практическую пригодность формальных методов для тестирования промышленных программных систем. Подходы, лежащие в основе этого успеха, принято объединять в рамках тестирования на основе моделей. В предлагаемых лекциях рассматриваются основные понятия и методы этой перспективной области науки и представляются относящиеся к ней разработки Института системного программирования РАН.

Видео лекций: https://www.lektorium.tv/course/22774

Дата и время Занятие Место Материалы
25 апреля
15:10–16:40
Лекции 1-3, Лекция ПОМИ РАН слайды