Samsung исправляет свои ошибки с помощью российской технологии

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

Статистика утверждает, что при написании кода, на каждую 50-ую строчку приходится в среднем одна ошибка программиста. Современные темпы разработки программ и обновлений к ним столь высоки, что отловить все ошибки кода вручную уже не представляется возможным: один лишь Android, например, состоит из 15 млн. строчек кода. Поэтому анализаторы, подобные Svace, становятся все более востребованными. В 2015 году ИСП заработал около 600 млн. рублей, занимаясь анализом кода и данных для сторонних заказчиков, в число которых вошли и лидеры отрасли, такие как Intel, Huawei, HP и «Вымпелком».

Эксперты считают, что соблюдение строгих стандартов при написании исходных кодов, в сочетании такими технологиями анализа, как разработка Института системного программирования РАН, позволит компаниям-разработчикам софта значительно улучшить качество своих продуктов, резко снизив количество содержащихся в них ошибок.

ИСП РАН – один из ключевых мозговых центров современных российских IT-технолгий. При этом его разработки востребованы, преимущественно, крупными международными производителями ПО, поэтому широкой публике почти не известны.