検証、妥当性確認、テスト

組み込みシステムの検証と妥当性確認

体系的な検証により、設計で要件を正確に実装していること、およびテストを通じてこれらの要件の妥当性を完全に確認していることの信頼性が高まります。開発の早い段階で、高水準のシステムモデルを作成し、システム要件とリンクさせることができます。このシステムモデルは、実行可能な仕様として、また、より詳細なモデルの基礎としての役割を果たすことができます。

これらの MathWorks^® 製品を使用しモデルベースデザインを補完することで、以下を行うことができます。

アーキテクチャ、設計、テスト、コードへの要件のトレース。
設計が要件を満たしており、重大なランタイムエラーがないことの確認。
モデルやコードの準拠確認および品質測定。
デッドロジックの特定、および未達カバレッジを解消するためのテストケースの生成。
レポートとアーティファクトの作成、および設計が準拠規格に適合しているかどうかの検証。

また、MATLAB^® のソフトウェア開発を進めるために、以下のこともできます。

要件を作成してテストとコードにリンクする。
動的なテストを実行して、コードの機能に不具合が発生していないかを監視する。
業界標準のコードカバレッジメトリクスを使用して、未テストのコードパスを特定する。

検証、妥当性確認、テスト向け製品

Requirements Toolbox

設計とテストの要件の作成、リンク、および検証

Simulink Check

設計品質の測定、検証アクティビティの追跡、標準への準拠性の検証

Simulink Coverage

モデルと生成されたコードでテストカバレッジを測定

Simulink Design Verifier

設計エラーの特定、要件への準拠性の証明、およびテスト生成

Simulink Fault Analyzer

Model faults and analyze effects

MATLAB Test

Generate, manage, and execute tests for MATLAB programs

Simulink Test

シミュレーションベースのテストの開発、管理、実行

Polyspace Bug Finder

静的解析によるソフトウェアバグの特定

Polyspace Code Prover

ソフトウェアでのランタイムエラーの有無の実証

Polyspace Test

Develop tests and analyze structural coverage for C/C++ code in embedded systems

Polyspace Access

コーディングの欠陥を特定し、静的解析結果を確認し、ソフトウェア品質メトリクスを監視する

Polyspace as You Code

Identify coding standard violations and software vulnerabilities from your IDE

Polyspace Copilot

AI assistant optimized for Polyspace

トピック

要件の指定と妥当性確認

MATLAB または Simulink での要件の作成 (Requirements Toolbox)
要件を作成し、MATLAB または Simulink^® を使用して要件の階層を定義します。
サードパーティ製アプリケーションからの要件のインポート (Requirements Toolbox)
外部のドキュメントおよび要件管理ツールから要件をインポートする。
Create Spreadsheets in the Safety Analysis Manager (Simulink Fault Analyzer)
Create a spreadsheet in the Safety Analysis Manager.
Requirements Table ブロックを使用した形式的要件の作成 (Requirements Toolbox)
Requirements Table ブロックを使用して形式的要件を評価する。 (R2022a 以降)
Analyze Requirements Table Blocks for Requirements Specification Problems (Requirements Toolbox)
Use Simulink Design Verifier™ to validate Requirements Table blocks. (R2022a 以降)

設計と解析への要件のリンク

要件に対するモデルのテストと結果のレポート (Requirements Toolbox)
詳細な要件にモデルを関連付け、トレーサビリティを示し、要件に対してテストを行います。
テストケースの要件へのリンク (Requirements Toolbox)
Simulink Test™ のテストケースを要件と関連付ける。
Link Safety Analysis Manager Spreadsheet Cells and Rows to Linkable Items (Simulink Fault Analyzer)
Link Safety Analysis Manager cells with Requirements Toolbox™ software.
トレーサビリティマトリクスを使用した要件リンクの追跡 (Requirements Toolbox)
要件トレーサビリティマトリクスを使用して、リンクと変更の問題を追跡し、管理する。
モデルプロパティの解析による要件の検証 (Requirements Toolbox)
制御システムのプロパティとしてモデル化された要件を検証します。
要件への MATLAB コードのリンク (Requirements Toolbox)
MATLAB コードやプレーンテキストの外部コード (C コードなど) へのリンクを作成および管理する。

設計上の欠陥の特定および解消

モデルにおける設計エラーの解析 (Simulink Design Verifier)
設計エラー検出解析の実行と結果の解釈。
標準への準拠と設計エラーに関するモデルの解析 (Simulink Check)
設計エラーを検出して解決し、標準に対してチェックを行い、機能の依存関係を解析して、プロパティを証明します。

要件に基づくテストの実行

モデル開発の要件に基づくテスト (Simulink Test)
自動操縦システムを要件に対してテストする。
Verify Requirements in Projects with MATLAB Tests (MATLAB Test)
Verify requirements in projects by running linked MATLAB tests.
要件に基づくテストに対する仕様モデルの使用 (Simulink Design Verifier)
要件に対して設計モデルを検証する体系的なアプローチに従います。 (R2022b 以降)
Write and Run Tests that Inject Faults by Using the Simulink Test Manager (Simulink Fault Analyzer)
Run tests that inject faults by creating fault sets. (R2024a 以降)
機能テストの実行とテストカバレッジの解析 (Simulink Coverage)
機能の依存関係の解析、モデルコンポーネントの単独でのテスト、テストケースのスイートの作成、モデルとコードのテストによるカバレッジの達成を行います。
要件に基づくテストの問題を修正 (Simulink Check)
モデルテストダッシュボードを使用して、モデルテストの品質に関する問題を修正する。
要件に基づくテストを ISO 26262 に対して評価する (Simulink Check)
モデルテストダッシュボードを使用して、要件に基づくテストアクティビティの完全性と品質を ISO 26262 標準に基づいて解析する。
Use Process Advisor to Streamline Requirements-Based Testing of Models and Generated Code (Simulink Test)
Use Process Advisor to automate assessment of requirements-based tests at the model and code level and interactively resolve test issues and gaps in test coverage.

コードベースのテストと検証の実行

コードの解析とソフトウェアインザループテストの実行 (Simulink Check)
コードエラーの検出、コードメトリクスの生成、コードとモデルの等価性のテスト、要件に対するコードのテストを行う。
Generate C/C++ Code and Test for Equivalence (MATLAB Test)
Generate C/C++ code from MATLAB code and verify that the execution of the generated code and MATLAB code are equivalent.
MATLAB や Simulink との Polyspace の統合 (Polyspace Bug Finder)
Polyspace^® と MATLAB および Simulink を統合して、モデルやコード内の、潜在的なバグ、ランタイムエラー、およびコーディング規約違反を特定します。
Embedded Coder によって生成されたコードに対する Polyspace 解析の実行 (Polyspace Bug Finder)
Embedded Coder^® によって生成されたコードのバグ、ランタイムエラー、またはコーディングルール違反をチェックする。