Huawei će tražiti nedostatke u programskom kodu pomoću statičkog analizatora

Statički analizator automatski će potvrditi programski kod i pronaći skriveno

nedostatke u njemu.Kao rezultat toga, kvaliteta napisanog koda će se povećati. Programeri tvrde da će novo rješenje biti učinkovitije od postojećih analizatora. Osim toga, proizvod će biti otvorenog koda, što znači da se može koristiti za provjeru tekstova programa u drugim tvrtkama.

Osim Huaweija, popis novih stanovnika ipartneri su uključivali 15 tvrtki, uključujući Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark i druge.

Drugi partner SEZ-a je koncern KUKA, jedan odvodeći svjetski proizvođači robotike, industrijske i sistemske opreme - zajedno sa Sveučilištem Innopolis otvorit će kompetentni centar za poduzeća zainteresirana za modernizaciju proizvodnih procesa. Industrijski robot s instaliranim softverom trebao bi biti razvijen u skladu sa zahtjevima kupaca.

A tvrtka "Ozone Technologies" predstavila je projekto robotizaciji i automatizaciji logistike tržišta OZON -a. Projekt se tiče robotizacije logističkih centara i razvoja robotskih sustava za učinkovito skladištenje, obradu i dostavu narudžbi. Dizajniramo vlastitu softversku i hardversku platformu.

Čitati Unaprijediti

Znanstvenici tri godine nisu uspjeli uloviti lisicu Rambo. Sprječava ispuštanje rijetkih životinja u šumu

Nevidljivi avioni više se ne mogu sakriti: Kina stvara kvantni radar kako bi ih pronašla

Znanstvenici su rekli tko će vjerojatnije dobiti koronavirus u sljedećem valu