Huawei buscará defectos en el código del programa utilizando un analizador estático

Статический анализатор будет автоматически проводить валидацию программного кода и находить скрытые

defectos en el mismo.Como resultado, aumentará la calidad del código escrito. Los desarrolladores afirman que la nueva solución será más eficaz que los analizadores existentes. Además, el producto será de código abierto, lo que significa que podrá utilizarse para comprobar textos de programas en otras empresas.

Además de Huawei, la lista de nuevos residentes ylos socios incluyeron 15 empresas, incluidas Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark y otras.

Otro socio de la ZEE es el consorcio KUKA, uno de losLos principales fabricantes mundiales de equipos robóticos, industriales y de sistemas, junto con la Universidad de Innopolis, abrirán un centro de competencia para empresas interesadas en modernizar los procesos de producción. Un robot industrial con software instalado debe desarrollarse según los requisitos del cliente.

Y la empresa "Ozone Technologies" presentó un proyectosobre robotización y automatización de la logística del mercado OZON. El proyecto se refiere a la robotización de centros logísticos y al desarrollo de sistemas robóticos para el almacenamiento, procesamiento y entrega de pedidos eficientes. Estamos diseñando nuestra propia plataforma de software y hardware.

Leer Más lejos

Los científicos no han podido atrapar al zorro Rambo durante tres años. Evita la liberación de animales raros en el bosque.

Los aviones invisibles ya no pueden esconderse: China crea un radar cuántico para encontrarlos

Los científicos dijeron quién tiene más probabilidades de contraer coronavirus en la próxima ola