Huawei meklēs programmas koda defektus, izmantojot statisko analizatoru

Statiskais analizators automātiski apstiprinās programmas kodu un atradīs paslēptu

defekti tajā.Rezultātā paaugstināsies rakstītā koda kvalitāte. Izstrādātāji apgalvo, ka jaunais risinājums būs efektīvāks nekā esošie analizatori. Turklāt produkts būs atvērtā koda, kas nozīmē, ka ar to varēs pārbaudīt programmu tekstus citos uzņēmumos.

Papildus Huawei, jauno iedzīvotāju saraksts unpartneru vidū bija 15 uzņēmumi, tostarp Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark un citi.

Vēl viens SEZ partneris ir koncerns KUKA, viens nopasaulē vadošie robotikas, industriālo un sistēmu iekārtu ražotāji - kopā ar Innopolis Universitāti atklās kompetences centru uzņēmumiem, kuri ir ieinteresēti modernizēt ražošanas procesus. Rūpnieciskais robots ar instalētu programmatūru ir jāizstrādā atbilstoši klientu prasībām.

Un uzņēmums "Ozone Technologies" prezentēja projektupar OZON tirgus loģistikas robotizāciju un automatizāciju. Projekts attiecas uz loģistikas centru robotizāciju un robotu sistēmu izstrādi efektīvai pasūtījumu uzglabāšanai, apstrādei un piegādei. Mēs izstrādājam savu programmatūras un aparatūras platformu.

Lasīt Tālāk

Zinātniekiem nav izdevies noķert Rambo lapsu trīs gadus. Tas novērš retu dzīvnieku izlaišanu mežā

Neredzamās lidmašīnas vairs nevar paslēpties: Ķīna izveido kvantu radaru, lai tās atrastu

Zinātnieki pastāstīja, kurš, visticamāk, sasniegs koronavīrusu nākamajā vilnī