Az Intel Labs gépi programozási kutatást végez a szoftverfejlesztés automatizálása, a kódolási hibák és a címkészség hiányának csökkentése érdekében

Tech / Az Intel Labs gépi programozási kutatást végez a szoftverfejlesztés automatizálása, a kódolási hibák és a címkészség hiányának csökkentése érdekében 2 perc olvasás Intel

Intel



Az Intel érdekes programot hozott létre az Intel Labs-nál, amely a vállalat központja a hosszú távú kilátásokkal rendelkező kísérleti projektek számára. A Gépi programozási kutatás (MPR) projekt megkísérli automatizálja a szoftverfejlesztést összetett platformokhoz miközben csökkenti a kódolási hibákat. Úgy tűnik, hogy a projekt elsődleges oka a képzett vagy szakértő programozók növekvő hiánya, akik megbízhatóan és következetesen tudnak írni komplex szoftverkódot.

Az Intel Labs MPR projektje a gépi tanulás több formáját és más automatikus módszereket fog létrehozni egy olyan platform létrehozására, amely képes a saját szoftverének létrehozására. Említette Justin Gottschlichet az Intel Labs-ból, akit felkértek egy gépi programozási kutatócsoport vezetésére. Úgy tűnik, hogy az MPR végső célja egy teljesen automatizált platform kifejlesztése, amely képes szoftvereket és kódokat írni minimális emberi beavatkozás és hiba nélkül. Úgy tűnik azonban, hogy a projektet azok számára szánják, akik nem tudnak kódolni. Az MPR-nek végül segítenie kell a programozási ismeretekkel nem rendelkező, de bőséges kreativitású embereket abban, hogy felépítsék a kívánt szoftvert vagy platformot anélkül, hogy valaha maguk írnának egyetlen kódsort.



Az Intel Labs megkapja a gépi programozási kutatást, és magas ígéreteket tesz a szoftverfejlesztés reális problémáival kapcsolatban:

A szoftver mélyen integrálódik a modern civilizáció minden aspektusába. A szoftverek fejlesztése és karbantartása azonban időigényes és hibára hajlamos folyamat - jegyzi meg Justin. Azt állítja, hogy a „gépi programozás”, ahol a szoftverek létrehozásának és fenntartásának ereje mindenki kezében van, jelentősen leegyszerűsítheti az összetett folyamatot. A Szoftverfejlesztés szegmens fő problémája az elkötelezett, tapasztalt és megbízható vezető fejlesztők elérhetősége.



Egyszerűen fogalmazva, súlyos eltérések vannak az ipar növekvő igényei és a képzett szakembereket kínáló valós világ képességei között. Justin megjegyzi, hogy a közeljövőben egyre nehezebb, talán lehetetlenebb lesz olyan fejlesztőket találni, akik helyesen, hatékonyan és biztonságosan tudják programozni az összes hardvert.



A gépi programozás több automatikus programozási technikát alkalmaz, amelyek a pontos (pl. Formális programszintézis) és a valószínűségi (pl. Differenciálható programozás) módszerek között mozognak. Azt is felhasználja és mindent megtanul, amit az Intel és más hardvergyártók a hardver és szoftver terén eddig fejlesztettek.



A szoftverfejlesztés két legfontosabb szempontja a megbízhatóság és a következetesség. Ahogy a Windows 10 operációs rendszer frissítései tisztán és rutinszerűen jelzik , a pontosság és a teljesítmény javítása szinte mindig tartalmaz hibákat és furcsa viselkedési minták . Az MPR célja a gyakori hibák, hibák és egyéb problémák kivizsgálása és kiürítése, amelyek rendszeresen eljutnak a szoftverbe. A következő lépés nyilvánvalóan az automatikus javítás lenne, figyelte Justin.

A szoftverekben elterjedt hibák elhárításával együtt az Intel MPR programja a szoftverekbe kerülő kódok javításán és végül csökkentésén is dolgozik. A kódsorok kiküszöbölésével a szoftver karcsúbb, tisztább és hatékonyabbá válik. Sőt, ha kevesebb kód van a szoftveren belül, a pontossága is javulni fog.

Úgy tűnhet, hogy az Intel arra törekszik, hogy megszüntesse a szoftverfejlesztési feladatokat. Justin azonban kategorikusan megjegyezte, hogy az Intel Lab MPR programjának nem célja a munkaerő csökkentése. Éppen ellenkezőleg, az MPR több új munkahely és munkalehetőség létrehozására készül. Ezenkívül az MPR fő menetrendje lényegében a szakemberek felszabadítása a szoftverfejlesztés összetettebb elemeinek felvállalására. Ez egyszerűen azért van, mert az MPR végül kezelni fogja a programozás malmi, futási szempontjait. A szoftver belépő szintű blokkjaival a programozók több platform, például gépi tanulás és formális technikák, heterogén hardver és sok programozási nyelv integrációjára összpontosíthatnak a szoftverplatformokba.

Címkék intel