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