City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Model Based Testing
Saint Petersburg / spring 2010, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

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

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

Date and time Class|Name Venue|short Materials
25 April
15:10–16:40
Лекции 1-3, Lecture ПОМИ РАН slides