Здравствуйте.

В это воскресенье 25 апреля в Питерском Computer Science клубе при ПОМИ будет прочитан миникурс лекций "Тестирование на основе моделей" (три лекции). Приходите и расскажите, пожалуйста, знакомым.

Язык курса: русский

Посещение свободное

Лектор: Виктор Кулямин, Институт системного программирования РАН

Аннотация

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

Страница курса.
Встреча вконтакте.
Объявление на сайте теорий и практик.