Spoločnosť Intel Labs získava výskum programovania strojov na automatizáciu vývoja softvéru, znižovanie kódovacích chýb a nedostatok adries

Novinky
Tech / Spoločnosť Intel Labs získava výskum programovania strojov na automatizáciu vývoja softvéru, znižovanie kódovacích chýb a nedostatok adries 2 minúty prečítané Intel

Intel



Spoločnosť Intel pripravila vo svojich laboratóriách Intel Labs, stredisku spoločnosti pre experimentálne projekty s dlhodobými perspektívami, zaujímavý program. The Projekt Výskum strojového programovania (MPR) sa pokúsi o automatizovať vývoj softvéru pre zložité platformy a zároveň znižuje počet chýb v kódovaní. Hlavným dôvodom projektu sa javí rastúci nedostatok vyškolených alebo odborných programátorov, ktorí dokážu spoľahlivo a konzistentne napísať zložitý softvérový kód.

Projekt MPR spoločnosti Intel Labs bude využívať viac foriem strojového učenia a ďalších automatických metód na vytvorenie platformy schopnej vytvárať svoj vlastný softvér, o ktorom hovorí Justin Gottschlich zo spoločnosti Intel Labs, ktorý bol požiadaný, aby viedol tím výskumníkov strojového programovania. Zdá sa, že hlavným cieľom MPR je vývoj úplne automatizovanej platformy, ktorá je schopná písať softvér a kód s minimálnym ľudským zásahom a chybami. Zdá sa však, že projekt je určený pre ľudí, ktorí nie sú schopní kódovať. MPR by nakoniec malo pomôcť ľuďom bez programátorských schopností, ale s dostatočnou tvorivosťou, vybudovať požadovaný softvér alebo platformu bez toho, aby sami napísali jeden riadok kódu.



preinštalovať Windows 10 Store

Spoločnosť Intel Labs získava výskum programovania strojov a dáva sľuby o realistických problémoch pri vývoji softvéru:

Softvér je hlboko integrovaný do každého aspektu modernej civilizácie. Vývoj a údržba softvéru je však časovo náročný a na chyby náchylný proces, poznamenáva Justin. Tvrdí, že programovanie strojov, kde moc vytvárať a udržiavať softvér je v rukách každého, by mohol výrazne zjednodušiť zložitý proces. Hlavným problémom v segmente vývoja softvéru je dostupnosť špecializovaných, skúsených a spoľahlivých vedúcich vývojárov.



Jednoducho povedané, medzi rastúcimi požiadavkami odvetvia a schopnosťou skutočného sveta ponúkať kvalifikovaných odborníkov existuje výrazný nesúlad. Justin poznamenáva, že v blízkej budúcnosti bude čoraz ťažšie, možno nemožné „nájsť vývojárov, ktorí dokážu správne, efektívne a bezpečne programovať všetok tento hardvér.“



Programovanie strojov používa viac techník automatického programovania, ktoré sa pohybujú od presných (napr. Formálna syntéza programu) po pravdepodobnostné (napr. Diferencovateľné programovanie) metódy. Taktiež využíva a učí sa zo všetkého, čo Intel a ďalší výrobcovia hardvéru doteraz vyvinuli v oblasti hardvéru a softvéru.



zmenšiť veľkosť jpeg mac

Dva najpotrebnejšie aspekty vývoja softvéru sú spoľahlivosť a konzistencia. Tak, ako to majú aktualizácie operačného systému Windows 10 jasne a bežne indikované , vylepšenia presnosti a výkonu takmer vždy prichádzajú s chybami a podivné vzorce správania . Cieľom MPR je skúmať a odstraňovať bežné chyby, chyby a ďalšie problémy, ktoré sa pravidelne dostanú do softvéru. Ďalším krokom by samozrejme bola automatická oprava, poznamenal Justin.

Spolu so znížením bežných chýb v softvéri bude program MPR spoločnosti Intel pracovať aj na zlepšení a prípadnom znížení množstva kódu, ktorý vstupuje do softvéru. Odstránením riadkov kódu by sa softvér stal štíhlejším, čistejším a efektívnejším. Navyše, s menším počtom kódov v softvéri by sa tiež zlepšila jeho presnosť.

Mohlo by sa zdať, že Intel eliminuje úlohy vývoja softvéru. Justin však kategoricky poznamenal, že program MPR spoločnosti Intel Lab nemá znižovať počet pracovných síl. Naopak, MPR je pripravená vytvárať viac nových pracovných miest a pracovných príležitostí. Okrem toho je hlavnou agendou MPR v zásade oslobodenie profesionálov od prevzatia zložitejších súčastí vývoja softvéru. Je to jednoducho preto, lebo MPR by nakoniec zvládlo podradnú časť programovania. Vďaka starostlivosti o vstupné bloky softvéru sa programátori mohli zamerať na lepšiu integráciu viacerých platforiem, ako sú strojové učenie a formálne techniky, heterogénny hardvér a mnoho programovacích jazykov do softvérových platforiem.

Značky intel