Huawei bude hledat chyby v programovém kódu pomocí statického analyzátoru

Statický analyzátor automaticky ověří kód programu a najde skrytý

vady v něm.V důsledku toho se zvýší kvalita psaného kódu. Vývojáři tvrdí, že nové řešení bude efektivnější než stávající analyzátory. Kromě toho bude produkt open source, což znamená, že jej lze použít ke kontrole textů programů v jiných společnostech.

Kromě Huawei seznam nových obyvatel amezi partnery patřilo 15 společností, včetně Ak Bars Digital Solutions, Ozon Technologies, Cyberscape Investments, Promvad, Synergy Soft, HightechPark a dalších.

Dalším partnerem SEZ je koncern KUKA, jeden zpřední světoví výrobci robotiky, průmyslového a systémového vybavení – společně s Innopolis University otevře kompetenční centrum pro podniky se zájmem o modernizaci výrobních procesů. Průmyslový robot s nainstalovaným softwarem by měl být vyvinut podle požadavků zákazníka.

A společnost "Ozone Technologies" představila projekto robotizaci a automatizaci logistiky trhu OZON. Projekt se týká robotizace logistických center a vývoje robotických systémů pro efektivní skladování, zpracování a doručování objednávek. Navrhujeme vlastní softwarovou a hardwarovou platformu.

Číst Dále

Vědcům se už tři roky nepodařilo odchytit lišku Rambo. Zabraňuje vypouštění vzácných zvířat do lesa

Neviditelná letadla se již nemohou skrývat: Čína vytváří kvantový radar, aby je našla

Vědci řekli, kdo má větší pravděpodobnost, že v příští vlně dostane koronavirus