Huawei ще търси дефекти в програмния код с помощта на статичен анализатор

Статичният анализатор автоматично ще потвърди програмния код и ще намери скрити

дефекти в него.В резултат на това качеството на писмения код ще се повиши. Разработчиците твърдят, че новото решение ще бъде по-ефективно от съществуващите анализатори. Освен това продуктът ще бъде с отворен код, което означава, че може да се използва за проверка на програмни текстове в други компании.

В допълнение към Huawei, списъкът с новите жители ипартньори са 15 компании, сред които Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark и др.

Друг партньор на SEZ е концернът KUKA, един отводещите световни производители на роботика, промишлено и системно оборудване - заедно с Innopolis University ще открие център за компетентност за предприятия, които се интересуват от модернизиране на производствените процеси. Индустриален робот с инсталиран софтуер трябва да бъде разработен в съответствие с изискванията на клиента.

А компанията "Озон Технолоджис" представи проектза роботизация и автоматизация на логистиката на пазара OZON. Проектът се отнася до роботизиране на логистични центрове и разработване на роботизирани системи за ефективно съхранение, обработка и доставка на поръчки. Ние проектираме собствена софтуерна и хардуерна платформа.

Чета По -нататък

Учените не успяват да хванат лисицата Рамбо от три години. Той предотвратява пускането на редки животни в гората

Невидимите самолети вече не могат да се крият: Китай създава квантов радар, за да ги намери

Учените казаха кой е по -вероятно да получи коронавирус през следващата вълна