Webstore





RS ISO/IEC 23643: 2020
Software and systems engineering — Capabilities of software safety and security verification tools

Abstract

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.



General Information

CodeClassificationThemePagesPublisherAvailability
RS ISO/IEC 23643: 2020ADOPTED ISO STANDARDSInformation technology39First Edition
Jun 2023
Available
Price: RWF 45,000


View: All


View by: Classification


View by: Group
Agriculture ( 259 )
Metallurgy ( 126 )
Services ( 8 )
Testing ( 5 )
Rwanda Standards Board

© Rwanda Standards Board 2020  - All rights reserved

KK 15 Rd, 49; PO Box: 7099 Kigali-Kicukiro, Tel: +250 0788303492, Hotline: 3250, Email:info@rsb.gov.rw