A Huawei statikus elemző segítségével keresi a programkód hibáit

A statikus elemző automatikusan érvényesíti a programkódot, és megtalálja a rejtett

hibák benne.Ennek eredményeként az írott kód minősége javulni fog. A fejlesztők azt állítják, hogy az új megoldás hatékonyabb lesz, mint a meglévő analizátorok. Ráadásul a termék nyílt forráskódú lesz, ami azt jelenti, hogy más cégek programszövegeinek ellenőrzésére is használható lesz.

A Huawei mellett az új lakosok listája éspartnerek között 15 vállalat volt, köztük az Ak Bars Digital Solutions, az Ozon Technologies, a Cyberscape Investments, a Promvad, a Synergy Soft, a HightechPark és mások.

A SEZ másik partnere a KUKA konszern, az egyika világ vezető robotikai, ipari és rendszerberendezések gyártói – az Innopolis Egyetemmel közösen kompetenciaközpontot nyitnak a gyártási folyamatok modernizálásában érdekelt vállalkozások számára. Egy telepített szoftverrel rendelkező ipari robotot a vevői igényeknek megfelelően kell kifejleszteni.

És az "Ozone Technologies" cég bemutatott egy projektetaz OZON piactér logisztikájának robotizálásáról és automatizálásáról. A projekt a logisztikai központok robotizálására és a megrendelések hatékony tárolására, feldolgozására és kézbesítésére szolgáló robotrendszerek fejlesztésére vonatkozik. Saját szoftver és hardver platformot tervezünk.

Olvasni További

A tudósok három éve nem tudják elkapni a Rambo -rókát. Megakadályozza, hogy ritka állatok kerüljenek az erdőbe

A láthatatlan repülőgépek már nem rejtőzhetnek el: Kína létrehoz egy kvantumradart, hogy megtalálja őket

A tudósok elmondták, hogy ki a nagyobb valószínűséggel kap koronavírust a következő hullámban