Huawei recherchera les défauts dans le code du programme à l'aide d'un analyseur statique

L'analyseur statique validera automatiquement le code du programme et trouvera les éléments cachés.

des défauts.En conséquence, la qualité du code écrit augmentera. Les développeurs affirment que la nouvelle solution sera plus efficace que les analyseurs existants. De plus, le produit sera open source, ce qui signifie qu’il pourra être utilisé pour vérifier les textes de programmes d’autres entreprises.

Outre Huawei, la liste des nouveaux résidents etles partenaires comprenaient 15 entreprises, dont Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark et d'autres.

Un autre partenaire de la ZES est l'entreprise KUKA, l'une desles principaux fabricants mondiaux d'équipements robotiques, industriels et systèmes - ouvriront, en collaboration avec l'Université d'Innopolis, un centre de compétences pour les entreprises intéressées par la modernisation des processus de production. Un robot industriel avec un logiciel installé est censé être développé conformément aux exigences du client.

Et la société "Ozone Technologies" a présenté un projetsur la robotisation et l'automatisation de la logistique de la marketplace OZON. Le projet concerne la robotisation des centres logistiques et le développement de systèmes robotisés pour un stockage, un traitement et une livraison efficaces des commandes. Nous concevons notre propre plate-forme logicielle et matérielle.

Lire Plus loin

Les scientifiques n'ont pas pu attraper le renard Rambo depuis trois ans. Il empêche les animaux rares d'être relâchés dans la forêt

Les avions invisibles ne peuvent plus se cacher : la Chine crée un radar quantique pour les retrouver

Les scientifiques ont dit qui est le plus susceptible de contracter le coronavirus lors de la prochaine vague