Huawei va căuta defecte în codul programului folosind un analizor static

Analizorul static va valida automat codul programului și va găsi ascuns

defecte ale acestuia.Ca urmare, calitatea codului scris va crește. Dezvoltatorii susțin că noua soluție va fi mai eficientă decât analizoarele existente. În plus, produsul va fi open source, ceea ce înseamnă că poate fi folosit pentru a verifica textele programelor din alte companii.

Pe lângă Huawei, lista noilor rezidenți șipartenerii au inclus 15 companii, inclusiv Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark și altele.

Un alt partener al SEZ este concernul KUKA, unul dintrecei mai importanti producatori mondiali de echipamente robotice, industriale si de sisteme – impreuna cu Universitatea Innopolis vor deschide un centru de competenta pentru intreprinderile interesate de modernizarea proceselor de productie. Un robot industrial cu software instalat ar trebui să fie dezvoltat în conformitate cu cerințele clienților.

Iar compania „Ozone Technologies” a prezentat un proiectprivind robotizarea și automatizarea logisticii pieței OZON. Proiectul se referă la robotizarea centrelor logistice și dezvoltarea sistemelor robotizate pentru stocarea, procesarea și livrarea eficientă a comenzilor. Ne proiectăm propria platformă software și hardware.

A citi Mai departe

Oamenii de știință nu au reușit să prindă vulpea Rambo de trei ani. Împiedică eliberarea animalelor rare în pădure

Avioanele invizibile nu se mai pot ascunde: China creează un radar cuantic pentru a le găsi

Oamenii de știință au spus cine este mai susceptibil de a lua coronavirus în următorul val