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