Huawei буде шукати дефекти програмного коду за допомогою статичного аналізатора

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

дефекти у ньому.В результаті якість написаного коду підвищуватиметься. Розробники стверджують, що нове рішення буде ефективнішим за існуючі аналізатори. Крім того, продукт буде з відкритим кодом, тож його зможуть використовувати і для перевірки текстів програм в інших компаніях.

Крім Huawei, в список нових резидентів іпартнерів потрапили 15 компаній, серед яких «Ак Барс Цифрові Рішення», «Озон Технології», «Сайберскейп Інвестментс», «Промвад», «Синергія Софт», «ХайтекПарк» та інші.

Ще один партнер ОЕЗ - концерн KUKA, один зпровідних світових виробників робототехніки, промислового та системного обладнання - спільно з Університетом Іннополіс відкриє центр компетенцій для підприємств, зацікавлених у модернізації виробничих процесів. Промисловий робот із встановленим програмним забезпеченням передбачається розробляти відповідно до вимог замовника.

А компанія «Озон Технології» представила проектпо роботизації та автоматизації логістики маркетплейса OZON. Проект стосується роботизації логістичних центрів і розробки робототехнічних систем для ефективного зберігання, обробки і доставки замовлень. Ведеться проектування власної програмно-апаратної платформи.

Читати далі

Вчені три роки не можуть зловити лисиця Рембо. Він заважає випустити в ліс рідкісних тварин

Літакам-невидимкам більше не сховатися: Китай створює для їх пошуку квантовий радар

Вчені розповіли, у кого більше шансів захворіти коронавірусів в наступну хвилю