Пентагон будет тестировать программное обеспечение вооружений с помощью игр

Пентагон будет тестировать программное обеспечение вооружений с помощью игр

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей.

Финансирование проекта осуществляет Управление перспективного планирования оборонных научно-исследовательских работ США (DARPA), в рамках программы Crowd Sourced Formal Verification. В ходе эксперимента планируется создать специальные логические игры для ноутбуков и мобильных устройств и выпустить их в свободную продажу. Найденные игроками в процессе игры решения позволят специалистам Пентагона проводить формальную верификацию применения математических теорий, что позволит определить, имеются ли в тестируемом программном коде ошибки и уязвимости.

Проект рассчитан на 3 года и призван сократить расходы Пентагона на содержание штатных специалистов для тестирования программного обеспечения вооружений.

На реализацию проекта DARPA планирует потратить $4,7 млн. в 2012 финансовом году и $32 млн. в 2015 финансовом году.

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей." />
Подпишитесь на новости

Поиск по запросам об абортах могут изменить в пользу ресурсов соцподдержки

Российским поисковикам могут добавить новую задачу: при запросах об искусственном прерывании беременности приоритет должны получить ресурсы социальной поддержки женщин. Владимир Путин поручил правительству подготовить соответствующие предложения.

Готового механизма пока нет, сначала чиновникам предстоит объяснить, как это должно работать.

Пункт включён в перечень поручений по итогам заседания Совета по демографической и семейной политике. Срок подготовки предложений — 15 декабря 2026 года.

В документе используется формулировка «приоритетное индексирование». Она касается ресурсов, предоставляющих социальную поддержку женщинам в ситуации репродуктивного выбора, когда те ищут информацию об услугах по прерыванию беременности.

Какие именно поисковые системы затронет инициатива, какие сайты получат приоритет и как будут определять подходящие запросы, не уточняется. Технические требования ещё предстоит сформулировать.

Здесь важна разница между поручением подготовить предложения и уже изменённой выдачей. Документ не сообщает, что поисковики внедрили новые правила или получили готовую инструкцию по перестановке результатов.

Индексирование и ранжирование — тоже разные процессы, первое отвечает за включение страниц в поисковую базу, второе — за их порядок в результатах.

RSS: Новости на портале Anti-Malware.ru