【英语版】国际标准 ISO/IEC 23643:2020 EN Software and systems engineering - Capabilities of software safety and security verification tools 软件与系统工程-软件安全与安全验证工具的能力.pdf

ISO/IEC23643:2020EN《软件与系统工程——软件安全与安全验证工具能力的标准》是由国际标准化组织ISO/IEC所发布的一套国际性标准，主要针对软件安全和安全验证工具的通用能力进行了规范。

该标准定义了一套原则、要求和方法，用于评估和描述软件安全验证和安全验证工具的功能、效率和可靠性。这些工具在设计和开发过程中需要满足一系列要求，以确保其在真实场景中能够有效地识别和解决软件安全问题。

具体来说，该标准包括以下主要内容：

*定义了软件安全验证工具所需的基本功能，如静态代码分析、动态测试、形式化方法等；

*对这些工具的性能和效率提出了要求，以确保其在合理的时间内完成所需的任务；

*要求工具必须具备一定的可靠性和可维护性，以降低由于工具故障或人为错误导致的潜在风险；

*提供了一系列评估方法，包括工具的功能性测试、性能测试、可靠性测试等，以确保工具符合标准要求。

ISO/IEC23643:2020EN《软件与系统工程——软件安全与安全验证工具能力的标准》是一套重要的标准，它为软件安全验证工具的开发、评估和使用提供了重要的指导。该标准有助于提高软件的安全性和可靠性，从而降低软件安全风险，提高用户对软件产品的信任度。