Тестирование на основе моделей

Общая информация
ЛекторВ. Кулямин
Семестрвесна 2010
Дата начала25.04.2010
Количество пар3
Язык курсарусский
Видеоhttp://video.yandex.ru/users/pdmicsclub/collection/14/
Аннотация Несмотря на долгое развитие Computer Science использование формальных математических моделей и строгих методов при промышленной разработке программного обеспечения пока остается редким исключением. Причины этого — высокая стоимость применения формальных методов и небольшое число специалистов, умеющих работать с ними эффективно. В последние 10 лет удалось существенно снизить эти барьеры и продемонстрировать практическую пригодность формальных методов для тестирования промышленных программных систем. Подходы, лежащие в основе этого успеха, принято объединять в рамках тестирования на основе моделей. В предлагаемых лекциях рассматриваются основные понятия и методы этой перспективной области науки и представляются относящиеся к ней разработки Института системного программирования РАН.
Слайды первой лекции
Лекции Подсказка: слайды, видеозапись и другие материалы лекции доступны со страницы лекции, попасть на которую можно, нажав на её название.

Ваша оценка: Пусто Средняя: 5 (1 голос)
Share |