Huawei cercherà i difetti nel codice del programma utilizzando un analizzatore statico

L'analizzatore statico convaliderà automaticamente il codice del programma e lo troverà nascosto

difetti in esso.Di conseguenza, la qualità del codice scritto aumenterà. Gli sviluppatori sostengono che la nuova soluzione sarà più efficace degli analizzatori esistenti. Inoltre il prodotto sarà open source, il che significa che potrà essere utilizzato per verificare i testi dei programmi di altre aziende.

Oltre a Huawei, l'elenco dei nuovi residenti ei partner includevano 15 società, tra cui Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark e altre.

Un altro partner della SEZ è l'azienda KUKA, una dellei principali produttori mondiali di robotica, apparecchiature industriali e di sistema - insieme all'Università di Innopolis apriranno un centro di competenza per le imprese interessate a modernizzare i processi produttivi. Un robot industriale con software installato dovrebbe essere sviluppato in base alle esigenze del cliente.

E la società "Ozone Technologies" ha presentato un progettosulla robotizzazione e automazione della logistica del marketplace OZON. Il progetto riguarda la robotizzazione dei centri logistici e lo sviluppo di sistemi robotici per lo stoccaggio, l'elaborazione e la consegna degli ordini efficienti. Stiamo progettando la nostra piattaforma software e hardware.

Leggere Ulteriore

Gli scienziati non sono stati in grado di catturare la volpe Rambo per tre anni. Impedisce che animali rari vengano rilasciati nella foresta

Gli aerei invisibili non possono più nascondersi: la Cina crea un radar quantistico per trovarli

Gli scienziati hanno detto chi ha maggiori probabilità di contrarre il coronavirus nella prossima ondata