ISOIEC 236432020 软件和系统工程.软件安全和安全验证工具的能力标准立项发展报告.docx

*

ISO/IEC23643:2020软件和系统工程.软件安全和安全验证工具的能力标准立项发展报告

StandardizationDevelopmentReport:ISO/IEC23643:2020—Softwareandsystemsengineering—Capabilitiesofsoftwaresafetyandsecurityverificationtools

摘要

随着软件在安全关键系统（如工业控制、自动驾驶、医疗设备等）中的深度应用，软件的安全性与保密性已成为决定系统成败的核心要素。软件验证工具作为保障软件质量的重要手段，其自身能力的高低