Имрӯз як стартапи Швейтсария , ки зеҳни сунъӣ ва омӯзиши мошинро барои автоматикунонии таҳлили код истифода мебарад, эълон кард, ки аз фондҳои венчурӣ Earlybird, 4VC ва Btov Partners 3 миллион доллар сармоягузорӣ гирифтааст. Ширкат нақша дорад, ки ин маблағҳоро барои ҷорӣ кардани дастгирии забонҳои нави барномасозӣ дар хидмати худ ва инчунин барои ба бозор баровардани маҳсулот дар бозори ҷаҳонии IT истифода кунад.
Таҳлили код барои ошкор кардани хатогиҳо, осебпазириҳои эҳтимолӣ, вайронкунии форматкунӣ ва бештар дар аввали таҳияи нармафзор, пеш аз истифодаи код дар ҳама ҷо зарур аст. Одатан, ин тартиб дар баробари таҳияи кодекси нав ва фавран пас аз анҷом ёфтани он, пеш аз марҳилаи санҷиш гузаронида мешавад. "Санҷиши нармафзор ба код аз берун назар мекунад, аммо таҳлили код ба шумо имкон медиҳад, ки онро аз дарун бубинед" шарҳ медиҳад ҳаммуассиси DeepCode ва директори генералӣ Борис Паскалев дар мусоҳиба бо VentureBeat.
Аксар вақт баррасии код аз ҷониби муаллифони он дар якҷоягӣ бо ҳамкорон ва менеҷерҳо бо мақсади муайян кардани хатогиҳои ошкор пеш аз гузаштан ба марҳилаҳои минбаъдаи рушд анҷом дода мешавад. Ва чӣ қадаре ки лоиҳа калонтар бошад, ҳамон қадар сатрҳои кодро тафтиш кардан лозим аст, ки вақти зиёди барномасозонро мегирад. Воситаҳое, ки бояд ин равандро суръат бахшанд, дар муддати тӯлонӣ вуҷуд доранд, ба монанди таҳлилгари коди статикӣ, ба монанди Coverity ва PVS-Studio, аммо онҳо одатан дар қобилиятҳои худ маҳдуданд, зеро онҳо ба "масъалаҳои услубӣ ва такроршаванда, форматкунӣ ва форматкунӣ тамаркуз мекунанд. хатогиҳои хурди мантиқӣ, - шарҳ медиҳад Паскалев.
DeepCode, дар навбати худ, доираи васеи мушкилотро дар бар мегирад, масалан, ошкор кардани осебпазириҳо ба монанди имкониятҳои скрипти байнисоҳавӣ ва инъекцияи SQL, зеро алгоритмҳои дар он ҷойгиршуда на танҳо кодро ҳамчун маҷмӯи аломатҳо таҳлил мекунанд, балки кӯшиш мекунанд, ки маъно ва мақсади кори барномаҳои навишташударо фаҳманд. Асоси ин як системаи омӯзиши мошинист, ки миллиардҳо сатрҳои кодро аз лоиҳаҳои кушодаасос барои омӯзиши худ истифода мебарад. DeepCode версияҳои қаблии код ва тағйироти минбаъдаи ба он воридшударо таҳлил мекунад, то омӯзад, ки кадом хатогиҳо ва чӣ гуна барномасозони воқеӣ кори худро ислоҳ кардаанд ва сипас ба корбарони худ ҳалли шабеҳро пешниҳод мекунанд. Илова бар ин, система инчунин алгоритмҳои пешгӯии анъанавиро барои пайдо кардани мушкилоти эҳтимолӣ дар код истифода мебарад, ба монанди таҳлилгари статикии дар боло зикршуда.
Яке аз саволҳои асосӣ ҳангоми истифодаи DeepCode ин аст: баррасии автоматии код то чӣ андоза боэътимод аст? Дурустии таҳлили камтар аз 100% маънои онро дорад, ки таҳиягарон бояд коди худро дастӣ таҳлил кунанд. Агар ин тавр бошад, истифодаи асбобҳо барои автоматикунонии ин вазифа воқеан чанд вақт озод мешавад? Ба гуфтаи Паскалев, DeepCode метавонад таҳиягаронро тақрибан 50% вақтеро, ки ҳоло барои ҷустуҷӯи хатогиҳо мустақилона сарф мекунанд, сарфа кунад, ки ин рақам хеле муҳим аст.
Таҳиягарон метавонанд DeepCode-ро ба ҳисобҳои GitHub ё Bitbucket пайваст кунанд ва асбоб инчунин конфигуратсияҳои маҳаллии GitLab -ро дастгирӣ мекунад. Илова бар ин, лоиҳа дорои API-и махсусест, ки ба таҳиягарон имкон медиҳад, ки DeepCode-ро ба системаҳои рушди худ муттаҳид кунанд. Пас аз пайваст шудан ба анбор, DeepCode ҳар як тағирёбии кодро таҳлил мекунад ва мушкилоти эҳтимолиро нишон медиҳад.
"Ба ҳисоби миёна, таҳиягарон тақрибан 30% вақти худро барои дарёфт ва ислоҳи хатогиҳо сарф мекунанд, аммо DeepCode метавонад нисфи ин вақтро ҳоло ва ҳатто дар оянда бештар сарфа кунад" мегӯяд Борис. "Азбаски DeepCode мустақиман аз ҷомеаи ҷаҳонии таҳиягарон меомӯзад, он қодир аст мушкилоти бештареро пайдо кунад, ки як шахс ё як гурӯҳи баррасигарон ҳамеша пайдо карда метавонанд."
Илова ба хабарҳои имрӯза дар бораи гирифтани сармоягузорӣ, DeepCode инчунин сиёсати нави арзишро барои маҳсулоти худ эълон кард. То ҳол, DeepCode танҳо барои лоиҳаҳои таҳияи нармафзори кушодаасос ройгон буд. Акнун он барои ҳама гуна ҳадафҳои таълимӣ ва ҳатто барои ширкатҳои тиҷоратӣ, ки камтар аз 30 таҳиягар доранд, ройгон хоҳад буд. Аён аст, ки бо ин қадам, созандагони DeepCode мехоҳанд маҳсулоти худро дар байни дастаҳои хурд маъмултар гардонанд. Илова бар ин, DeepCode аз як таҳиягар дар як моҳ 20 доллар барои ҷойгиркунии абр ва барои дастгирии маҳаллӣ 50 доллар барои як таҳиягар ситонида мешавад.
Қаблан, дастаи DeepCode аллакай 1 миллион доллар сармоягузорӣ гирифта буд. Бо 4 миллиони дигар, ширкат гуфт, ки он ният дорад забонҳои барномасозиро, ки берун аз Java, JavaScript ва Python дастгирӣ мекунад, васеъ кунад, аз ҷумла дастгирии C#, PHP ва C/C++. Онҳо инчунин тасдиқ карданд, ки онҳо дар муҳити ҳамгирошудаи рушди худ кор мекунанд.
Манбаъ: 3dnews.ru