Huawei będzie szukał usterek w kodzie programu za pomocą analizatora statycznego

Analizator statyczny automatycznie sprawdzi kod programu i znajdzie ukryty

w nim wady.W rezultacie wzrośnie jakość pisanego kodu. Twórcy twierdzą, że nowe rozwiązanie będzie skuteczniejsze od istniejących analizatorów. Dodatkowo produkt będzie open source, co oznacza, że ​​będzie można za jego pomocą sprawdzać teksty programów w innych firmach.

Oprócz Huawei lista nowych mieszkańców iwśród partnerów było 15 firm, m.in. Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark i inne.

Kolejnym partnerem SSE jest koncern KUKA, jeden z m.inwiodący na świecie producenci robotyki, sprzętu przemysłowego i systemowego – wspólnie z Uniwersytetem Innopolis otworzą centrum kompetencyjne dla przedsiębiorstw zainteresowanych modernizacją procesów produkcyjnych. Robot przemysłowy z zainstalowanym oprogramowaniem ma zostać opracowany zgodnie z wymaganiami klienta.

A firma „Ozone Technologies” przedstawiła projektw sprawie robotyzacji i automatyzacji logistyki rynku OZON. Projekt dotyczy robotyzacji centrów logistycznych oraz rozwoju zrobotyzowanych systemów do wydajnego magazynowania, przetwarzania i dostarczania zamówień. Projektujemy własną platformę programowo-sprzętową.

Czytać Dalej

Od trzech lat naukowcom nie udało się złapać lisa Rambo. Zapobiega wypuszczaniu rzadkich zwierząt do lasu

Niewidzialne samoloty nie mogą się już ukrywać: Chiny tworzą radar kwantowy, aby je znaleźć

Naukowcy powiedzieli, kto jest bardziej narażony na koronawirusa w następnej fali