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

  • 1
  • 0
  • 2024-07-10 发布于四川
  • 正版发售
  • 现行
  • 正在执行有效期
  •   |  2020-06-12 颁布

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

  1. 1、本标准文档预览图片由程序生成,具体信息以下载为准。
  2. 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
  3. 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
  4. 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多

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

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

具体来说,该标准包括以下主要内容:

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

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

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

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

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

您可能关注的文档

文档评论(0)

认证类型官方认证
认证主体北京标科网络科技有限公司
IP属地四川
统一社会信用代码/组织机构代码
91110106773390549L

1亿VIP精品文档

相关文档