Intel Labs saab tarkvaraarenduse automatiseerimiseks, kodeerimisvigade ja aadressioskuste puuduse vähendamiseks masinate programmeerimise uuringuid

Intel Labs saab tarkvaraarenduse automatiseerimiseks, kodeerimisvigade ja aadressioskuste puuduse vähendamiseks masinate programmeerimise uuringuid

Tech / Intel Labs saab tarkvaraarenduse automatiseerimiseks, kodeerimisvigade ja aadressioskuste puuduse vähendamiseks masinate programmeerimise uuringuid 2 minutit loetud Intel

Intel

Intel on oma Intel Labsis - ettevõtte pikaajaliste väljavaadetega katseprojektide keskuses - üles seadnud huvitava programmi. The Masina programmeerimise uurimise (MPR) projekt üritab automatiseerida keerukate platvormide tarkvaraarendus vähendades kodeerimisvigu. Projekti peamine põhjendus näib olevat kasvav puudus koolitatud või asjatundlikest programmeerijatest, kes suudavad keerukat tarkvarakoodi usaldusväärselt ja järjekindlalt kirjutada.



Intel Labsi MPR-i projekt kasutab mitmesuguseid masinõppe vorme ja muid automaatseid meetodeid, et luua oma tarkvara loomiseks võimeline platvorm, mainis Justin Gottschlichi Intel Labsist, kellelt on palutud juhtida masinprogrammeerimise uurijate meeskonda. MPR-i lõppeesmärk näib olevat täielikult automatiseeritud platvormi väljatöötamine, mis on võimeline kirjutama tarkvara ja koodi minimaalse inimese sekkumise ja vigadega. Näib, et projekt on mõeldud inimestele, kes ei suuda kodeerida. MPR peaks lõpuks aitama inimestel, kellel pole programmeerimisoskust, kuid kellel on piisavalt loovust, oma soovitud tarkvara või platvorm üles ehitada, ilma et oleks kunagi ise ühte koodirida kirjutanud.



Intel Labs saab masinprogrammeerimise uuringud, mis annab tarkusearenduses realistlike probleemide kohta kõrgeid lubadusi:

Tarkvara on kaasaegse tsivilisatsiooni igas aspektis sügavalt integreeritud. Tarkvara arendamine ja hooldamine on aga aeganõudev ja vigadele kalduv protsess, märgib Justin. Ta väidab, et masinprogrammeerimine, kus tarkvara loomise ja hooldamise jõud on igaühe käes, võib keerukat protsessi oluliselt lihtsustada. Tarkvaraarenduse segmendi peamine probleem on pühendunud, kogenud ja usaldusväärsete kõrgemate arendajate kättesaadavus.

Lihtsamalt öeldes on valdkonna kasvava nõude ja kvalifitseeritud spetsialiste pakkuva reaalse maailma võime vahel tõsine ebakõla. Justin märgib, et lähitulevikus on üha keerulisem, võib-olla võimatu, „leida arendajaid, kes saaksid kogu selle riistvara õigesti, tõhusalt ja turvaliselt programmeerida”.



Masinprogrammeerimine kasutab mitut automaatset programmeerimistehnikat, mis ulatuvad täpsetest (nt programmi ametlik süntees) kuni tõenäosuslike (nt diferentseeritav programmeerimine) meetoditeni. Samuti kasutab see kõike ja õpib kõigest, mida Inteli ja teiste riistvara tootjate riistvara ja tarkvara on tänaseks arendanud.



Tarkvaraarenduse kaks kõige vajalikumat aspekti on usaldusväärsus ja järjepidevus. Nagu Windows 10 OS-i värskendustel on selgelt ja rutiinselt näidatud , täpsuse ja jõudluse parendustega kaasnevad peaaegu alati vead ja imelikud käitumismustrid . MPR eesmärk on uurida ja kustutada tavalisi vigu, vigu ja muid probleeme, mis regulaarselt tarkvarasse leiavad. Järgmine samm oleks ilmselgelt nende automaatne parandamine, täheldas Justin.

Lisaks tarkvara levinud vigade vähendamisele töötab Inteli MPR-programm ka tarkvarasse mineva koodi täiustamiseks ja lõpuks vähendamiseks. Koodiridade kõrvaldamisega muutuks tarkvara nõtkemaks, puhtamaks ja tõhusamaks. Pealegi, kui tarkvaras on vähem koode, paraneb ka selle täpsus.

Võib tunduda, et Intel kavatseb tarkvaraarenduse töökohti kõrvaldada. Justin märkis siiski kategooriliselt, et Intel Labi MPR-programm ei ole mõeldud tööjõu vähendamiseks. Vastupidi, MPR on valmis looma mitu uut töökohta ja töövõimalusi. Pealegi on MPR-i põhiprogramm sisuliselt spetsialistide vabastamine tarkvaraarenduse keerukamate komponentide võtmiseks. See on lihtsalt sellepärast, et MPR hakkaks lõpuks tegelema programmeerimise veski aspektidega. Tarkvara algtaseme plokkide eest hoolitsedes saavad programmeerijad keskenduda mitme platvormi, näiteks masinõppe ja formaalsete tehnikate, heterogeense riistvara ja paljude programmeerimiskeelte paremale integreerimisele tarkvaraplatvormidesse.

Sildid Intel