DeepCode itapata makosa katika msimbo wa chanzo cha programu kwa kutumia AI

Leo ni uzinduzi wa Uswizi DeepCode, ambayo hutumia akili bandia na ujifunzaji wa mashine kufanya uchanganuzi wa msimbo kiotomatiki, ilitangaza kuwa imepokea uwekezaji wa dola milioni 4 kutoka kwa fedha za mradi Earlybird, 3VC na Btov Partners. Kampuni inapanga kutumia fedha hizi kuanzisha usaidizi wa lugha mpya za programu katika huduma yake, na pia kuuza bidhaa kwenye soko la kimataifa la IT.

DeepCode itapata makosa katika msimbo wa chanzo cha programu kwa kutumia AI

Uchambuzi wa misimbo ni muhimu ili kugundua hitilafu, udhaifu unaowezekana, ukiukaji wa uumbizaji, na mapema zaidi katika uundaji wa programu, kabla ya msimbo kutumika popote. Kwa kawaida, utaratibu huu unafanywa kwa sambamba na maendeleo ya kanuni mpya na mara baada ya kukamilika, kabla ya hatua ya kupima yenyewe. "Upimaji wa programu hutazama msimbo kutoka nje, lakini uchanganuzi wa msimbo unakuruhusu kuiangalia kutoka ndani," anaelezea mwanzilishi mwenza wa DeepCode na Mkurugenzi Mtendaji Boris Paskalev katika mahojiano na VentureBeat.

Mara nyingi, uhakiki wa msimbo hufanywa na waandishi wake pamoja na wenzake na wasimamizi ili kubaini makosa dhahiri kabla ya kuendelea na hatua zinazofuata za ukuzaji. Na kadiri mradi unavyokuwa mkubwa, ndivyo mistari mingi ya msimbo inavyohitaji kuangaliwa, ambayo inachukua muda mwingi wa watengenezaji programu. Zana zinazopaswa kuharakisha mchakato huu zimekuwepo kwa muda mrefu, kama vile vichanganuzi vya kanuni tuli kama vile Coverity na PVS-Studio, lakini huwa na uwezo wao mdogo kwani huzingatia "maswala ya kimtindo ya kuudhi na yanayojirudia, uumbizaji na makosa madogo ya kimantiki,” anaeleza Paskalev.

DeepCode, kwa upande wake, inashughulikia anuwai ya shida, kwa mfano, kugundua udhaifu kama vile fursa za uandishi wa tovuti tofauti na sindano ya SQL, kwani algoriti zilizopachikwa ndani yake hazichambui nambari kama seti ya wahusika, lakini jaribu kuelewa maana na madhumuni ya kazi iliyoandikwa programu. Kiini cha hili ni mfumo wa kujifunza kwa mashine unaotumia mabilioni ya mistari ya msimbo kutoka kwa miradi ya programu huria inayopatikana kwa umma kwa mafunzo yake. DeepCode inachambua matoleo ya awali ya msimbo na mabadiliko yaliyofuata ambayo yalifanywa kwa hiyo ili kujifunza makosa gani na jinsi watengeneza programu halisi walivyosahihisha kazi zao, na kisha kutoa suluhu sawa kwa watumiaji wake. Kwa kuongeza, mfumo pia hutumia kanuni za ubashiri za kitamaduni ili kupata matatizo yanayoweza kutokea katika msimbo, kama vile vichanganuzi tuli vilivyotajwa hapo juu.

Mojawapo ya maswali muhimu unapotumia DeepCode ni: ukaguzi wa nambari otomatiki unategemewa vipi? Usahihi wa uchanganuzi wa chini ya 100% unamaanisha kuwa wasanidi programu bado watalazimika kuchanganua misimbo yao wenyewe. Ikiwa ni hivyo, ni saa ngapi ukitumia zana kugeuza kazi hii kiotomatiki kutafungua? Kulingana na Paskalev, DeepCode itaweza kuokoa watengenezaji takriban 50% ya muda wanaotumia sasa kutafuta makosa peke yao, ambayo ni takwimu muhimu.

Wasanidi wanaweza kuunganisha DeepCode kwenye akaunti zao za GitHub au Bitbucket, na zana hii pia inaauni usanidi wa ndani wa GitLab. Zaidi ya hayo, mradi una API maalum ambayo inaruhusu watengenezaji kuunganisha DeepCode katika mifumo yao ya maendeleo. Baada ya kuunganishwa kwenye hazina, DeepCode itachanganua kila mabadiliko ya msimbo na kuripoti matatizo yanayoweza kutokea.

DeepCode itapata makosa katika msimbo wa chanzo cha programu kwa kutumia AI

"Kwa wastani, watengenezaji hutumia takriban 30% ya wakati wao kutafuta na kurekebisha mende, lakini DeepCode inaweza kuokoa nusu ya wakati huo sasa, na hata zaidi katika siku zijazo," anasema Boris. "Kwa sababu DeepCode hujifunza moja kwa moja kutoka kwa jumuiya ya kimataifa ya watengenezaji, inaweza kupata matatizo zaidi ya mtu mmoja au kundi zima la wakaguzi wanaweza kupata."

Mbali na habari za leo za kupokea uwekezaji, DeepCode pia ilitangaza sera mpya ya thamani ya bidhaa yake. Hadi sasa, DeepCode imekuwa bila malipo kwa miradi huria ya ukuzaji programu. Sasa itakuwa bila malipo kwa madhumuni yoyote ya kielimu na hata kwa kampuni za kibiashara zilizo na wasanidi chini ya 30. Ni wazi, kwa hatua hii, waundaji wa DeepCode wanataka kufanya bidhaa zao kuwa maarufu zaidi kati ya timu ndogo. Zaidi ya hayo, DeepCode inatoza $20 kwa kila msanidi programu kwa mwezi kwa kusambaza mtandaoni na $50 kwa kila msanidi programu kwa usaidizi wa ndani.

Hapo awali, timu ya DeepCode ilikuwa tayari imepokea uwekezaji wa $1 milioni. Na wengine milioni 4, kampuni hiyo ilisema inapanga kupanua lugha za programu ambayo inasaidia zaidi ya Java, JavaScript na Python, pamoja na kuongeza msaada kwa C #, PHP na C/C++. Pia walithibitisha kuwa wanafanyia kazi mazingira yao ya maendeleo jumuishi.



Chanzo: 3dnews.ru

Kuongeza maoni