недоступно на русском языке

Тезис

 Предпросмотр

This document specifies requirements for the vendors and gives guidelines for both the users and the developers of software safety and security verification tools. The users of such tools include, but are not limited to, bodies performing verification and software developers who need to be aware and pay attention to safety and/or security of software. This document guides the verification tool vendors to provide as high-quality products as possible and helps the users to understand the capabilities and characteristics of verification tools.

This document introduces use cases for software safety and security verification tools and entity relationship model related to them. This document also introduces tool categories for software safety and security verification tools and gives category specific guidance and requirements for the tool vendors and developers.


Общая информация 

  • Текущий статус
     :  Published
    Дата публикации
     : 2020-06
  • Версия
     : 1
  • Технический комитет
     : ISO/IEC JTC 1/SC 7 Software and systems engineering
  • ICS
     :
    35.080 Software

Цели в области устойчивого развития

Данный стандарт разработан для достижения следующих Цель устойчивого развития:

9
Индустриализация, инновации и инфраструктура

Приобрести данный стандарт

Формат Язык
PDF + ePub
Бумажный
  • CHF145

Жизненный цикл


Появились вопросы?

Ознакомьтесь с FAQ

Работа с клиентами
+41 22 749 08 88

Часы работы:
Понедельник – пятница: 09:00-12:00, 14:00-17:00 (UTC+1)

Будьте в курсе актуальных новостей ИСО

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

  2. Интернет-магазин
  3. Каталог стандартов
  4. ТК
  5. ISO/IEC JTC 1/SC 7
  6. ISO/IEC 23643:2020