Huawei vil søge efter fejl i programkoden ved hjælp af en statisk analysator

Den statiske analysator vil automatisk validere programkoden og finde skjult

mangler i den.Som et resultat vil kvaliteten af ​​den skrevne kode stige. Udviklerne hævder, at den nye løsning vil være mere effektiv end eksisterende analysatorer. Derudover vil produktet være open source, hvilket betyder, at det kan bruges til at tjekke programtekster i andre virksomheder.

Ud over Huawei, listen over nye beboere ogpartnere omfattede 15 virksomheder, herunder Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark og andre.

En anden partner i SEZ er KUKA-koncernen, en afverdens førende producenter af robot-, industri- og systemudstyr - vil sammen med Innopolis University åbne et kompetencecenter for virksomheder, der er interesseret i at modernisere produktionsprocesser. En industrirobot med installeret software skal udvikles i overensstemmelse med kundens krav.

Og virksomheden "Ozone Technologies" præsenterede et projektom robotisering og automatisering af logistik på OZON -markedspladsen. Projektet vedrører robotisering af logistikcentre og udvikling af robotsystemer til effektiv opbevaring, behandling og levering af ordrer. Vi designer vores egen software og hardware platform.

At læse Yderligere

Forskere har ikke været i stand til at fange Rambo -ræven i tre år. Det forhindrer sjældne dyr i at blive frigivet i skoven

Usynlige fly kan ikke længere skjule sig: Kina opretter en kvantaradar for at finde dem

Forskere fortalte, hvem der er mere tilbøjelige til at få coronavirus i den næste bølge