この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 スコープ
この文書は、ベンダー向けの要件を指定し、ソフトウェアの安全性とセキュリティ検証ツールのユーザーと開発者の両方にガイドラインを提供します。このようなツールのユーザーには、検証を行う団体や、ソフトウェアの安全性やセキュリティに注意を払う必要があるソフトウェア開発者が含まれますが、これらに限定されません。この文書は、検証ツールのベンダーが可能な限り高品質の製品を提供できるようにガイドし、ユーザーが検証ツールの機能と特性を理解するのに役立ちます。
このドキュメントでは、ソフトウェアの安全性とセキュリティ検証ツールの使用例と、それらに関連するエンティティ関係モデルを紹介します。このドキュメントでは、ソフトウェアの安全性とセキュリティ検証ツールのツール カテゴリも紹介し、ツール ベンダーと開発者向けにカテゴリ固有のガイダンスと要件を提供します。
1 Scope
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.