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

Новый участник ОЭЗ «Иннополис» — Huawei — представил проект своей разработки, которая будет проверять качество кода в ОС компании. Об этом сообщили в пресс-службе ОЭЗ.

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

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

Еще один партнер ОЭЗ — концерн KUKA, один из ведущих мировых производителей робототехники, промышленного и системного оборудования — совместно с Университетом Иннополис откроет центр компетенций для предприятий, заинтересованных в модернизации производственных процессов. Промышленный робот с установленным программным обеспечением предполагается разрабатывать в соответствии с требованиями заказчика.

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


Читать далее

Ученые три года не могут поймать лиса Рэмбо. Он мешает выпустить в лес редких животных

Самолетам-невидимкам больше не скрыться: Китай создает для их поиска квантовый радар

Ученые рассказали, у кого больше шансов заболеть коронавирусом в следующую волну

Подписывайтесь
на наши каналы в Telegram

«Хайтек»новостионлайн

«Хайтек»Dailyновости 3 раза в день

Первая полоса
Вирус герпеса перестраивает геном человека, но есть способ его остановить
Наука
Разработаны роботы размером с игрушечную машинку для ремонта водопроводных труб
Новости
В Самаре запустили первый в России дата-центр, объединяющий майнинг и ИИ
Новости
Болезнь Паркинсона на ранней стадии определят по ушной сере
Наука
BI-стратегия компании: что она дает и как ее создать
Мнения
В Мариинке показали оперу, которую дописал искусственный интеллект
Новости
Открыт нейронный путь, который приводит к бессонице после перенесенного стресса
Наука
Китайский маглев установил рекорд: разогнался до 650 км/ч за семь секунд
Новости
Австралийские бабочки используют звезды для навигации в пространстве
Наука
Древний череп из Китая впервые позволил понять, как выглядели денисовцы
Наука
Открыта загадочная связь между уровнем кислорода и магнитным полем Земли
Космос
Альтернатива сжиганию: разработана технология переработки угля в высокотехнологичное сырье
Наука
Ракета Starship Илона Маска взорвалась на площадке при подготовке к испытаниям
Космос
TECNO MEGABOOK K15S: универсальный ноутбук для тех, кто работает, создает и отдыхает
Кейсы
Два китайских спутника встретились на орбите Земли
Космос
В Москве пройдет второй Международный технологический конгресс МТК-2025
Новости
Из перовскита создали датчик изображения, который улавливает в три раза больше света
Новости
ИИ научили предсказывать риск провала технологических новинок
Новости
Разработан нанопластырь с микроиглами, который может заменить биопсию
Наука
В глубинах Тихого океана обнаружили пауков, питающихся бактериями
Наука