Huawei zal zoeken naar defecten in programmacode met behulp van een statische analyser

De statische analysator valideert automatisch de programmacode en vindt verborgen bestanden

gebreken daarin.Hierdoor zal de kwaliteit van de geschreven code toenemen. De ontwikkelaars beweren dat de nieuwe oplossing effectiever zal zijn dan bestaande analysers. Daarnaast zal het product open source zijn, wat betekent dat het gebruikt kan worden om programmateksten bij andere bedrijven te controleren.

Naast Huawei, de lijst met nieuwe bewoners enpartners waren onder meer 15 bedrijven, waaronder Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark en anderen.

Een andere partner van de SEZ is het KUKA-concern, een van's werelds toonaangevende fabrikanten van robotica, industriële en systeemapparatuur - zullen samen met Innopolis University een competentiecentrum openen voor bedrijven die geïnteresseerd zijn in het moderniseren van productieprocessen. Het is de bedoeling dat een industriële robot met geïnstalleerde software wordt ontwikkeld volgens de eisen van de klant.

En het bedrijf "Ozone Technologies" presenteerde een projectover robotisering en automatisering van de logistiek van de OZON-marktplaats. Het project betreft de robotisering van logistieke centra en de ontwikkeling van robotsystemen voor efficiënte opslag, verwerking en levering van bestellingen. We ontwerpen ons eigen software- en hardwareplatform.

Lezen Verder

Wetenschappers hebben de Rambo-vos al drie jaar niet kunnen vangen. Het voorkomt dat zeldzame dieren worden vrijgelaten in het bos

Onzichtbare vliegtuigen kunnen zich niet langer verbergen: China maakt een kwantumradar om ze te vinden

Wetenschappers vertelden wie in de volgende golf meer kans heeft om coronavirus te krijgen