`

СПЕЦІАЛЬНІ
ПАРТНЕРИ
ПРОЕКТУ

Чи використовує ваша компанія ChatGPT в роботі?

BEST CIO

Определение наиболее профессиональных ИТ-управленцев, лидеров и экспертов в своих отраслях

Человек года

Кто внес наибольший вклад в развитие украинского ИТ-рынка.

Продукт года

Награды «Продукт года» еженедельника «Компьютерное обозрение» за наиболее выдающиеся ИТ-товары

 

В докладе NIST сформулированы пять путей к бездефектному ПО

+11
голос

 

В докладе NIST сформулированы пять путей к бездефектному ПО

Национальный институт стандартов и технологий (NIST) опубликовал 60-страничную компиляцию новейших стратегий (pdf), направленных нв сокращение количества ошибок в программных продуктах. В ней собраны хорошо известные и новые подходы, реализуемые многими частными компаниями индустрии и государственными агентствами, включая NASA и Министерство обороны США.

Формально этот доклад подготовлен в ответ на запрос Белого Дома, точнее, его Управления научной и технической политики, однако он будет полезен любой организации, заинтересованной в создании высококачественного компьютерного кода.

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

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

Запрос Белого Дома был частью стратегической федеральной инициативы кибербезопасности (Federal Cybersecurity R&D Strategic Action Plan), на реализацию которой отводится от трёх-до семи лет. Однако авторы доклада подчёркивают, что рассматриваемые стратегии перерастают вопросы безопасности, так как разработчики ПО стремятся избежать дефектов в коде даже в отсутствие внешних угроз.

Ready, set, buy! Посібник для початківців - як придбати Copilot для Microsoft 365

+11
голос

Напечатать Отправить другу

Читайте также

This publication is available free of charge from: https://doi.org/10.6028/NIST.IR.8151

Павел, спасибо. Добавим линк в материал

 

Ukraine

 

  •  Home  •  Ринок  •  IТ-директор  •  CloudComputing  •  Hard  •  Soft  •  Мережі  •  Безпека  •  Наука  •  IoT