ISO/IEC 23643:2020 软件和系统工程 — 软件安全和安全验证工具的性能

标准编号：ISO/IEC 23643:2020

中文名称：软件和系统工程 — 软件安全和安全验证工具的性能

英文名称：Software and systems engineering — Capabilities of software safety and security verification tools

发布日期：2020-06

标准范围

本文档规定了对供应商的要求，并为软件安全和安保验证工具的用户和开发人员提供了指导方针。此类工具的用户包括但不限于执行验证的机构和需要了解和关注软件的安全性和/或安全性的软件开发人员。本文档指导验证工具供应商提供尽可能高质量的产品，并帮助用户了解验证工具的功能和特性。本文档介绍了软件安全和安全验证工具的用例以及与之相关的实体关系模型。本文档还介绍了软件安全和安全验证工具的工具类别，并为工具供应商和开发人员提供了特定类别的指导和要求。

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.

标准预览图