Samsung начала использовать разработку Института системного программирования Российской академии наук (ИСП РАН) под названием Svace, которая занимается поиском ошибок в исходном коде Android, собственных приложений Samsung и платформы Tizen. Об этом сообщают «Ведомости» со ссылкой на директора ИСП РАН Арутюна Аветисяна и GR-директора российского офиса Samsung Марата Гуриева.

По словам Гуриева и Аветисяна, южнокорейский производитель вложил в российский продукт более $10 млн, но права на продукт остались за ИСП РАН, а сама Samsung получила возможность бесплатного использования разработки. Применение Svace позволяет сделать программные продукты более стабильными и надежными в работе.

В среднем при написании 1000 строчек кода программист совершает около 20 ошибок. Но Svace анализирует код, написанный на языках C, C++, C# и Java, и позволяет сократить число ошибок в несколько раз, что благотворно сказывается на стабильности и безопасности софта.

Огромная скорость разработки программного обеспечения и выпуска обновлений физически не позволяет программистам вручную «вылавливать» все ошибки в коде, о чем рассказал директор IT-кластера фонда «Сколково» Игорь Богачев. Согласен с ним и старший вице-президент Acronis по разработке Станислав Протасов, считающий, что ПО, состоящее из миллионов строк (а в Android их число достигает 15 млн), крайне сложно анализировать вручную. Поэтому софт для поиска ошибок нужен всем крупным разработчикам.

Российские ученые помогут решить главную проблему смартфонов Samsung

Svace является не единственной подобной разработкой на рынке. И у нее есть немало конкурентов вроде Coverity от американской Synopsys, ClocWork от американской Rogue Wave, Fortify от Hewlett-Packard и израильской CheckMark. А директор департамента разработки технологий компании ABBYY Константин Анисимович сомневается в пользе разработки ИСП РАН, считая ее простым статическим анализатором кода, способным искать лишь очень простые ошибки и пасующим перед ошибками в алгоритмах.