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

标准编号：ISO/IEC 23643:2020

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

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

发布日期：2020-06

标准范围

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

标准预览图