DeepCode AI yordamida dasturiy ta'minot manba kodidagi xatolarni topadi

Bugun Shveytsariya startapi Chuqurlashtirmoq, kod tahlilini avtomatlashtirish uchun sun'iy intellekt va mashinani o'rganishdan foydalanadi, Earlybird, 4VC va Btov Partners venchur fondlaridan 3 million dollar sarmoya olganini e'lon qildi. Kompaniya ushbu mablag'larni o'z xizmatlariga yangi dasturlash tillarini qo'llab-quvvatlashni joriy etish, shuningdek, mahsulotni jahon IT bozorida sotish uchun ishlatishni rejalashtirmoqda.

DeepCode AI yordamida dasturiy ta'minot manba kodidagi xatolarni topadi

Kodni tahlil qilish xatoliklarni, potentsial zaifliklarni, formatlash buzilishlarini va dasturiy ta'minotni ishlab chiqishda kodni istalgan joyda ishlatishdan oldin aniqlash uchun zarur. Odatda, ushbu protsedura yangi kodni ishlab chiqish bilan parallel ravishda va u tugagandan so'ng darhol sinov bosqichidan oldin amalga oshiriladi. DeepCode asoschisi va bosh direktori Boris Paskalev VentureBeat nashriga bergan intervyusida "Dasturiy ta'minotni sinovdan o'tkazish kodni tashqaridan ko'rib chiqadi, ammo kod tahlili unga ichkaridan qarashga imkon beradi".

Ko'pincha kodni ko'rib chiqish uning mualliflari tomonidan hamkasblar va menejerlar bilan birgalikda rivojlanishning keyingi bosqichlariga o'tishdan oldin aniq xatolarni aniqlash uchun amalga oshiriladi. Va loyiha qanchalik katta bo'lsa, kodning ko'proq qatorlarini tekshirish kerak, bu esa dasturchilarning katta vaqtini oladi. Bu jarayonni tezlashtirishi kerak bo'lgan vositalar, masalan, Coverity va PVS-Studio kabi statik kod analizatorlari kabi uzoq vaqtdan beri mavjud bo'lib kelgan, ammo ular o'z imkoniyatlarini cheklab qo'yishga moyildirlar, chunki ular "zerikarli va takrorlanuvchi stilistik muammolarga, formatlash va formatlash" ga qaratilgan. kichik mantiqiy xatolar, - tushuntiradi Paskalev.

DeepCode, o'z navbatida, muammolarning keng doirasini qamrab oladi, masalan, saytlararo skriptlar va SQL in'ektsiyasi imkoniyatlari kabi zaifliklarni aniqlash, chunki unga o'rnatilgan algoritmlar kodni shunchaki belgilar to'plami sifatida tahlil qilmaydi, balki ish yozilgan dasturlarning mazmuni va maqsadini tushunish. Buning markazida o'qitish uchun ochiq kodli loyihalarning milliardlab qator kodlaridan foydalanadigan mashinani o'rganish tizimi yotadi. DeepCode kodning oldingi versiyalarini va unga kiritilgan keyingi o'zgarishlarni qanday xatolar va haqiqiy dasturchilar o'z ishlarini qanday tuzatganini o'rganish uchun tahlil qiladi va keyin o'z foydalanuvchilariga shunga o'xshash echimlarni taklif qiladi. Bundan tashqari, tizim yuqorida aytib o'tilgan statik analizatorlar kabi koddagi mumkin bo'lgan muammolarni topish uchun an'anaviy bashorat qilish algoritmlaridan ham foydalanadi.

DeepCode-dan foydalanishda asosiy savollardan biri: avtomatik kodni tekshirish qanchalik ishonchli? Tahlilning aniqligi 100% dan kam bo'lsa, ishlab chiquvchilar hali ham o'z kodlarini qo'lda tahlil qilishlari kerak bo'ladi. Agar shunday bo'lsa, bu vazifani avtomatlashtirish uchun vositalardan foydalanish qancha vaqtni bo'shatadi? Paskalevning so'zlariga ko'ra, DeepCode ishlab chiquvchilarga hozirda xatolarni mustaqil qidirishga sarflagan vaqtlarining taxminan 50 foizini tejashga qodir bo'ladi, bu juda muhim ko'rsatkich.

Ishlab chiquvchilar DeepCode-ni GitHub yoki Bitbucket hisoblariga ulashlari mumkin va bu vosita mahalliy GitLab konfiguratsiyalarini ham qo'llab-quvvatlaydi. Bundan tashqari, loyihada ishlab chiquvchilarga DeepCode-ni o'zlarining rivojlanish tizimlariga integratsiyalash imkonini beruvchi maxsus API mavjud. Omborga ulangandan so'ng, DeepCode har bir kod o'zgarishini tahlil qiladi va yuzaga kelishi mumkin bo'lgan muammolarni belgilaydi.

DeepCode AI yordamida dasturiy ta'minot manba kodidagi xatolarni topadi

“Oʻrtacha hisobda ishlab chiquvchilar oʻz vaqtining taxminan 30 foizini xatolarni topish va tuzatishga sarflashadi, ammo DeepCode bu vaqtning yarmini hozir va kelajakda undan ham koʻproq tejashga qodir”, - deydi Boris. "DeepCode to'g'ridan-to'g'ri ishlab chiquvchilarning global hamjamiyatidan o'rganganligi sababli, u bir kishi yoki butun sharhlovchilar guruhi topa olmaganidan ko'ra ko'proq muammolarni topa oladi."

Investitsiyalarni qabul qilish haqidagi bugungi yangiliklardan tashqari, DeepCode o'z mahsuloti uchun yangi qiymat siyosatini ham e'lon qildi. Hozirgacha DeepCode faqat ochiq kodli dasturiy ta'minotni ishlab chiqish loyihalari uchun bepul edi. Endi u har qanday ta'lim maqsadlarida va hatto 30 dan kam dasturchiga ega bo'lgan tijorat kompaniyalari uchun bepul bo'ladi. Shubhasiz, bu qadam bilan DeepCode yaratuvchilari o'z mahsulotlarini kichik jamoalar orasida mashhurroq qilishni xohlashadi. Bundan tashqari, DeepCode har bir ishlab chiquvchidan bulutli foydalanish uchun oyiga 20 dollar va mahalliy qo‘llab-quvvatlash uchun har bir dasturchi uchun 50 dollar to‘laydi.

Ilgari DeepCode jamoasi allaqachon 1 million dollar sarmoya olgan edi. Yana 4 million bilan kompaniya oʻzi qoʻllab-quvvatlaydigan dasturlash tillarini Java, JavaScript va Python’dan tashqari kengaytirishni, jumladan, C#, PHP va C/C++ uchun qoʻllab-quvvatlashni qoʻshishni rejalashtirayotganini aytdi. Shuningdek, ular o'zlarining integratsiyalashgan rivojlanish muhiti ustida ishlayotganliklarini tasdiqladilar.



Manba: 3dnews.ru

a Izoh qo'shish