Intel Labs pridobi raziskave strojnega programiranja za avtomatizacijo razvoja programske opreme, zmanjšanje napak pri kodiranju in pomanjkanje spretnosti naslovov

Tech / Intel Labs pridobi raziskave strojnega programiranja za avtomatizacijo razvoja programske opreme, zmanjšanje napak pri kodiranju in pomanjkanje spretnosti naslovov 2 minuti branja Intel

Intel



Intel je v svojih laboratorijih Intel Labs, središču podjetja za eksperimentalne projekte z dolgoročnimi perspektivami, vzpostavil zanimiv program. The Projekt raziskovanja strojnega programiranja (MPR) bo poskusil avtomatizirajte razvoj programske opreme za kompleksne platforme hkrati pa zmanjšuje kodiranje napak. Zdi se, da je glavni razlog za to vse večje pomanjkanje usposobljenih ali strokovnjakov, ki lahko zanesljivo in dosledno pišejo zapleteno programsko kodo.

Projekt MPR Intel Labs bo z več oblikami strojnega učenja in drugimi samodejnimi metodami ustvaril platformo, ki bo lahko ustvarila lastno programsko opremo, omenjen Justin Gottschlich iz podjetja Intel Labs, ki je bil pozvan, da vodi skupino raziskovalcev strojnega programiranja. Zdi se, da je končni cilj MPR razvoj popolnoma avtomatizirane platforme, ki je sposobna pisati programsko opremo in kodo z minimalnim človeškim posredovanjem in napakami. Vendar je videti, da je projekt namenjen ljudem, ki ne morejo kodirati. MPR bi sčasoma moral ljudem, ki nimajo spretnosti programiranja, imajo pa dovolj kreativnosti, zgraditi želeno programsko opremo ali platformo, ne da bi sami kdaj napisali eno vrstico kode.



Intel Labs dobiva raziskave strojnega programiranja obljublja resnične težave pri razvoju programske opreme:

Programska oprema je globoko integrirana v vse vidike sodobne civilizacije. Razvoj in vzdrževanje programske opreme pa je dolgotrajen in nagnjen k napakam, ugotavlja Justin. Trdi, da bi 'Strojno programiranje', pri katerem je moč ustvarjanja in vzdrževanja programske opreme v rokah vseh, lahko bistveno poenostavilo zapleten postopek. Glavna težava v segmentu razvoja programske opreme je razpoložljivost predanih, izkušenih in zanesljivih starejših razvijalcev.



Preprosto povedano, obstaja velika neskladnost med naraščajočimi potrebami panoge in zmožnostjo resničnega sveta, ki ponuja usposobljene strokovnjake. Justin ugotavlja, da bo v bližnji prihodnosti vse težje, morda nemogoče, 'najti razvijalce, ki bodo lahko pravilno, učinkovito in varno programirali vso to strojno opremo.'



Strojno programiranje uporablja več tehnik samodejnega programiranja, ki segajo od natančnih (npr. Formalne sinteze programov) do verjetnostnih (npr. Diferencialno programiranje) metod. Prav tako uporablja in se uči iz vsega, kar so do danes v strojni in programski opremi razvili Intel in drugi proizvajalci strojne opreme.



Dva najbolj potrebna vidika razvoja programske opreme sta zanesljivost in doslednost. Kakor imajo posodobitve za Windows 10 OS jasno in rutinsko označena , natančnost in izboljšave zmogljivosti skoraj vedno prihajajo z napakami in čudni vedenjski vzorci . Cilj MPR je raziskati in odpraviti pogoste napake, napake in druge težave, ki se redno znajdejo v programski opremi. Naslednji korak bi bil očitno samodejna odprava, je opazil Justin.

Poleg zmanjšanja pogostih napak v programski opremi bo Intelov program MPR tudi izboljšal in sčasoma zmanjšal količino kode, ki gre v programsko opremo. Z odpravo vrstic kode bi programska oprema postala vitkejša, čistejša in učinkovitejša. Poleg tega bi se z manjšim številom kode v programski opremi izboljšala tudi natančnost.

Morda se zdi, da Intel želi odpraviti delovna mesta za razvoj programske opreme. Justin pa je kategorično opozoril, da program Intel Lab MPR ne bo zmanjšal delovne sile. Nasprotno, MPR je pripravljen ustvariti več novih delovnih mest in možnosti za delo. Poleg tega je jedro programa MPR v bistvu osvoboditi strokovnjake, da prevzamejo bolj zapletene komponente razvoja programske opreme. To je preprosto zato, ker bi MPR sčasoma obravnaval moške, vodilne vidike programiranja. Ker je poskrbljeno za začetne bloke programske opreme, se lahko programerji osredotočijo na boljšo integracijo več platform, kot so strojno učenje in formalne tehnike, heterogena strojna oprema in številni programski jeziki v programske platforme.

Oznake intel