Samsung ищет ошиб­ки по-рус­ски

... Юж­но­ко­рей­ский про­из­во­ди­тель про­ве­ря­ет про­грамм­ные ко­ды по ме­то­ди­ке Ин­сти­ту­та си­стем­но­го про­грам­ми­ро­ва­ния

Vedomosti.Piter - - ПЕРВАЯ СТРАНИЦА - Па­вел Кан­ты­шев ВЕДОМОСТИ

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

По сло­вам Гу­ри­е­ва и Аве­ти­ся­на, Samsung вло­жил в раз­ра­бот­ку тех­но­ло­гии бо­лее $10 млн, но пра­ва на про­дукт оста­лись за ИСП РАН. Samsung ин­ве­сти­ро­вал в раз­ра­бот­ку и те­перь поль­зу­ет­ся ею бес­плат­но, го­во­рит Гу­ри­ев: с 2015 г. это един­ствен­ный ана­ли­за­тор ко­да, ко­то­рым поль­зу­ет­ся Samsung. Аве­ти­сян по­яс­ня­ет, что ана­ли­зи­ру­ет­ся код, на­пи­сан­ный на язы­ках C, C++, C# и Java.

В сред­нем при на­пи­са­нии 1000 стро­чек ко­да про­грам­мист со­вер­ша­ет око­ло 20 оши­бок, а с по­мо­щью Svace их чис­ло мож­но со­кра­тить в несколь­ко раз, рас­ска­зы­ва­ет научный ру­ко­во­ди­тель ИСП РАН Вик­тор Иван­ни­ков. При­ме­не­ние ин­стру­мен­тов ана­ли­за ко­да сей­час обя­за­тель­но при раз­ра­бот­ке без­опас­но­го про­грамм­но­го обес­пе­че­ния, про­дол­жа­ет Аве­ти­сян, фун­да­мен­таль­ны­ми ис­сле­до­ва­ни­я­ми в об­ла­сти ана­ли­за про­грамм­но­го ко­да ИСП РАН за­ни­ма­ет­ся с 2002 г.

Samsung за­ин­те­ре­со­вал­ся раз­ра­бот­кой в 2009 г., вспо­ми­на­ет он.

Выручка ИСП РАН за 2015 г. – око­ло $10 млн, го­во­рит Аве­ти­сян, ин­сти­тут за­ра­ба­ты­ва­ет на услу­гах ана­ли­за ко­да и ана­ли­за дан­ных; в чис­ле за­каз­чи­ков – Hewlett-Packard, Huawei, Intel, «Вым­пел­ком».

Ис­сле­до­ва­тель­ская ком­па­ния IDC на­зы­ва­ет Samsung ли­де­ром ми­ро­во­го рын­ка смарт­фо­нов: к кон­цу II квар­та­ла 2016 г. юж­но­ко­рей­ский вен­дор по­ста­вил 78,6 млн ап­па­ра­тов, это 22,8% всех смарт­фо­нов.

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

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

Управ­ля­ю­щий ди­рек­тор ком­па­нии «Рос­плат­фор­ма» (раз­ра­ба­ты­ва­ет си­стем­ное ПО в об­ла­сти сер­вер­ной вир­ту­а­ли­за­ции) Вла­ди­мир Ру­ба­нов, за­щи­щав­ший кан­ди­дат­скую дис­сер­та­цию в ИСП РАН, не удив­лен фак­том ис­поль­зо­ва­ния юж­но­ко­рей­ской кор­по­ра­ци­ей раз­ра­бот­ки рос­сий­ско­го НИИ. На ми­ро­вом рын­ке у нее есть кон­ку­рен­ты: на­при­мер, про­дукт Coverity от аме­ри­кан­ской Synopsys, ClocWork от аме­ри­кан­ской Rogue Wave, Fortify от Hewlett-Packard и из­ра­иль­ская CheckMark, пе­ре­чис­ля­ет Ру­ба­нов. Лю­бой се­рьез­ный раз­ра­бот­чик соф­та поль­зу­ет­ся од­ним из этих про­дук­тов, что­бы по­вы­шать ка­че­ство ко­да и его без­опас­ность.

Ди­рек­тор де­пар­та­мен­та раз­ра­бот­ки тех­но­ло­гий ком­па­нии ABBYY (вы­пус­ка­ет про­дук­ты рас­по­зна­ва­ния тек­ста) Кон­стан­тин Ани­си­мо­вич со­мне­ва­ет­ся в по­лез­но­сти про­дук­та ИСП РАН. По его сло­вам, раз­ра­бот­ка от­но­сит­ся к раз­ря­ду ста­ти­че­ских ана­ли­за­то­ров ко­да, ко­то­рые спо­соб­ны ис­кать лишь очень про­стые ошиб­ки, а в ал­го­рит­мах оши­бок не на­хо­дят. Про­стых оши­бок го­раз­до про­ще из­бе­жать пу­тем стан­дар­ти­за­ции пра­вил на­пи­са­ния ис­ход­ных ко­дов, огра­ни­чив ис­поль­зо­ва­ние «опас­ных» воз­мож­но­стей язы­ка про­грам­ми­ро­ва­ния, объ­яс­ня­ет Ани­си­мо­вич. Он уве­ря­ет, что со­че­та­ние та­ко­го «за­щит­но­го» про­грам­ми­ро­ва­ния и при­ме­не­ние ав­то­ма­ти­че­ских те­стов де­ла­ет аб­со­лют­но из­лиш­ним ис­поль­зо­ва­ние ста­ти­че­ско­го ана­ли­за­то­ра.

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

/ DADO RUVIC / REUTERS

Samsung гля­дит на свои про­грамм­ные про­дук­ты рус­ским гла­зом

Newspapers in Russian

Newspapers from Russia

© PressReader. All rights reserved.