Александр Герасимов

Avatar1

Александр Герасимов, старший научный сотрудник ИСП РАН.
В 2001 году с отличием закончил Аэрокосмический факультет Московского авиационного института (МАИ). С 2001 по 2006 год занимался разработкой и внедрением корпоративных информационных систем. С 2006 работает в Институте системного программирования им. В.П. Иванникова РАН. Участвовал в проектах разработки промышленных инструментов анализа программ для компаний Klocwork Inc. (RogueWave Software) и Samsung Electronics в качестве руководителя, исследователя и разработчика. Руководит фундаментальными и промышленными исследованиями, в том числе при поддержке Российского фонда фундаментальных исследований.


Применение инструментов автоматического анализа программ в цикле безопасной разработки программ

Постоянно возрастающая сложность программных систем приводит к необходимости уделения повышенного внимания к процессам обеспечения их качества. Применение методов тестирования программ как правило не позволяет обнаруживать критические ошибки реализации программы, поскольку программисты и специалисты по тестированию проверяют заранее известный набор требований к функционированию системы и её компонент и не имеют возможности проведения тестирования на всём множестве значений внешних данных программы или компонента. Государственные стандарты Российской федерации регламентируют использование автоматических инструментов анализа программ в цикле разработки безопасного ПО. В докладе производится обзор методов автоматического анализа программ и способам их применения для обеспечения качества программных систем.

Организаторы

При поддержке