Скачать или смотреть TMPA School 2018: Верификация компьютерных протоколов с помощью SPIN (Часть 1), Александр Камкин

Первая часть лекции Александра Камкина, ведущего научного сотрудника ИСП РАН, «Верификация компьютерных протоколов с помощью SPIN», в которой он объясняет основы темпоральной логики, принципы описания моделей на языке Promela и особенности использования инструмента SPIN. Презентация прошла в рамках саратовской TMPA School в марте 2018 года и будет полезна всем, кто интересуется основами тестирования и обеспечения качества ПО.

TMPA School — образовательный проект, нацеленный на повышение
уровня осведомленности в сфере тестирования программного обеспечения, поддержку
развития IT-индустрии и внедрение новейших разработок в области верификации
программ. Благодаря своей уникальной тематике, проект интересен широкому кругу
участников: студентам старших курсов IT-специальностей, аспирантам, молодым
специалистам, чьи научные и практические интересы связаны с разработкой и
тестированием. Главная тема саратовской TMPA School 2018 года — «Инструменты и методы тестирования программного обеспечения». Больше информации о школах и научно-практических конференциях TMPA на сайте https://tmpaconf.org/.

#IT #Тестирование