Вышла новая книга, посвященная статическому анализу

Вышла новая книга "Программная инженерия. Обеспечение качества программных средств методами статического анализа"

Фото

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