SECR 2009 is over. To learn about current SECR please visit www.secrus.org.
Важные даты
26, 27, 30 Октября: официальный тренинг по CMMI на русском языке

27 Октября: Банковский день и другие дополнительные мероприятия

28-29 Октября: основные дни конференции и SQA Days
Наши спонсоры

Adobe

Premium sponsor


Intel

Premium sponsor


Microsoft

Premium sponsor


Exigen Services

Gold sponsor


IBM

Gold sponsor


EMC

Silver sponsor


iCarnegie

Sponsor

Ранняя диагностика ошибок в параллельных программах

Андрей Карпов, Евгений Рыжков

Тезисы

Program Verification Systems

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

[hidepost]скачать презентацию[/hidepost]

Андрей Карпов

Андрей Карпов

Биография

Андрей Карпов – к.ф.-м.н., технический директор компании ООО “СиПроВер”. Имеет практический опыт разработки ресурсоемких параллельных приложений в области численного моделирования газодинамических процессов и визуализации больших объемов данных. На данный момент занят в создании специализированного статического анализатора кода PVS-Studio, предназначенного для создания эффективных ресурсоемких приложений. Является автором множества статей, посвященных вопросам написания безопасного 64-битного и параллельного кода на языке Си++.

Евгений Рыжков

Евгений Рыжков

Биография

Евгений Рыжков – генеральный директор компании ООО “СиПроВер”. Имеет богатый опыт разработки 64-битных решений и приложил много усилий по выявлению и описанию в статьях паттернов ошибок, связанных с разработкой ресурсоемких программ. Руководит разработкой и продвижением инструмента для программистов PVS-Studio, занимается коммерческими вопросами.

« Предыдущий доклад Все устные доклады Следующий доклад »

Ключевые доклады Приглашенные доклады Семинары Виды докладов

Все доклады (по фамилии докладчика) Все доклады (по названию компании)

IEEEIEEE Computer SocietyTCSEIEEE Moscow Center
TEKAMA HSE RUSSOFT AP KIT
SQALAB Infopark A-SYS Ukrainian Hi-Tech Initiative
INTSPEI IT Ukraine
Adobe Intel Microsoft
Exigen Services
EMC
iCarnegie