• Регистрация
Статьи и вопросы по тегу "polyspace"

Статьи и вопросы по тегу "polyspace"

  • Все 1
  • Статьи 1
  • Публикация
  • 10.08.2020
Nikolay
Nikolay +1688.94
н/д
Достаточно много было споров о том, как создавать программное обеспечение повышенной надежности, обсуждались методологии, подходы к организации разработки, инструменты. Но среди всех этих обсуждений теряется то, что разработка софта - это процесс, причем доста...

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

10.08.2020