Курс И.Б. Бурдонова и А.С. Косачева "Тестирование и верификация систем на основе формальных моделей"
Dmitri Kornev
С 6 по 8 апреля 2012 года в Computer Science клубе в Екатеринбурге
И.Б. Бурдонов и А.С. Косачев прочтут бесплатный курс лекций
"Тестирование и верификация систем на основе формальных моделей".
Заседания пройдут в конференц-зале здания УрФУ на Тургенева, 4. Вход в
университет будет осуществляться по документам государственного
образца с фотографией, удостоверяющим личность(паспорт, водительское
удостоверение, студенческий), через вахту на Ленина, 51.
Расписание лекций:
6 апреля 18:00 - 21:00
Формализация тестирования. Модели реализации и спецификации. Гипотеза
о безопасности и безопасная конформность.
7 апреля 18:00 - 21:00
Генерация тестов. Оптимизация тестов. Проблемы практического тестирования.
8 апреля 18:00 - 21:00
Тестирование с закрытым состоянием. Тестирование с открытым
состоянием. Развитие теории конформности.
Подробнее о курсе: http://compsciclub.ru/courses/testingverification
Встреча ВКонтакте: http://vk.com/club37185379
Пожалуйста, расскажите о встрече заинтересованным друзьям и знакомым.
Листовка мероприятия в приложенном файле.
--
С уважением,
Дмитрий Корнев.
Dmitri Kornev
Слайды и лекторские записи доступны по ссылке
http://narod.ru/disk/45387595001.8c973e4af1edc4b06c6a609bbf81b226/20120406_testingverification_burdonov-kosachev_lecture01.zip.html
2012/3/29 Dmitri Kornev <d.v.k...@gmail.com>:
> --
> Вы получили это сообщение, поскольку подписаны на группу Computer Science клуб в Екатеринбурге.
>
> Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу uralc...@googlegroups.com.
> Чтобы отменить подписку на эту группу, отправьте сообщение по адресу uralcsclub+...@googlegroups.com.
> О дополнительных функциях можно узнать в группе по адресу http://groups.google.com/group/uralcsclub?hl=ru.
Dmitri Kornev
На странице курса доступны для скачивания слайды и лекторские записи
второго дня http://compsciclub.ru/courses/testingverification
2012/4/6 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
На странице курса доступны для скачивания слайды и лекторские записи
всех дней. Файлы были перезалиты (исправлены замеченные опечатки).
http://compsciclub.ru/courses/testingverification
2012/4/8 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
Выложены видео записи лекций курса:
http://video.yandex.ru/users/uralcsclub/collection/12/
2012/4/9 Dmitri Kornev <d.v.k...@gmail.com>: