Cookies
Wir benötigen Ihre Einwilligung zur Verwendung der einzelnen Daten, damit Sie unter anderem Informationen zu Ihren Interessen einsehen können. Klicken Sie auf "OK", um Ihre Zustimmung zu erteilen.
ISO/IEC 23643-ed.1.0
Software and systems engineering - Capabilities of software safety and security verification tools
Name übersetzen
NORM herausgegeben am 12.6.2020
Informationen über die Norm:
Bezeichnung normen: ISO/IEC 23643-ed.1.0
Ausgabedatum normen: 12.6.2020
SKU: NS-996960
Zahl der Seiten: 30
Gewicht ca.: 90 g (0.20 Pfund)
Land: Internationale technische Norm
Kategorie: Technische Normen ISO
Kategorie - ähnliche Normen:
Die Annotation des Normtextes ISO/IEC 23643-ed.1.0 :
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.
