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

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

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

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

  • アーキテクチャ、設計、テスト、コードへの要件のトレース。

  • 設計が要件を満たしており、重大なランタイム エラーがないことの確認。

  • モデルやコードの準拠確認および品質測定。

  • デッド ロジックの特定、および未達カバレッジを解消するためのテスト ケースの生成。

  • レポートとアーティファクトの作成、および設計が準拠規格に適合しているかどうかの検証。

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

  • 要件を作成してテストとコードにリンクする。

  • 動的なテストを実行して、コードの機能に不具合が発生していないかを監視する。

  • 業界標準のコード カバレッジ メトリクスを使用して、未テストのコード パスを特定する。

Workflow using Model-Based Design: Start by establishing system requirements and architecture, then component requirements and architecture. Continue with unit design, implementation, and testing. Next, perform integration testing at the component level followed by embedded testing. Finish with integration and testing at the system level.

トピック

要件の指定と妥当性確認

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

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

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

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

注目の例

Run a Test Suite and Resolve Missing Model Coverage

Run a Test Suite and Resolve Missing Model Coverage

Run a test suite, collect coverage, and generate test cases to satisfy missing model coverage.

(Simulink Coverage)

Manage Requirements and Advanced Model Checks

Manage Requirements and Advanced Model Checks

The how to identify potential gaps in model compliance by identifying missing requirements links, running standard and custom model checks, and performing design error detection analysis.

(Simulink Design Verifier)

モデル テスト ダッシュボードを使用してテスト アクティビティのステータスと品質を調査

モデル テスト ダッシュボードを使用してテスト アクティビティのステータスと品質を調査

プロジェクト内のモデル テストのステータスと品質を評価する。

(Simulink Check)

Verify Fault Detection Logic in Aircraft Elevator Control System

Verify Fault Detection Logic in Aircraft Elevator Control System

Use conditionals to verify that fault mitigation logic deploys and verify controller behavior in an FMEA.

(Simulink Fault Analyzer)

Evaluate Fault Combinations on a Fault-Tolerant Fuel System

Evaluate Fault Combinations on a Fault-Tolerant Fuel System

Simulate faults on a fault tolerant fuel system and analyze their effects in an FMEA.

(Simulink Fault Analyzer)

ビデオ

要件管理と高度なモデル チェックのワークフロー例
この例では、Simulink の検証および妥当性確認ツールを使用して、要件管理と高度なモデル チェックを開始する方法を説明します。

要件ベースのテストのワークフロー例
この例では、Simulink の検証および妥当性確認ツールを使用して、要件ベースのテストを開始する方法を説明します。

高信頼性検証ワークフローとは
体系的な検証と妥当性確認の目標は、高い品質基準を維持しながら、欠陥をより早く発見し、市場投入までの時間を短縮することです。

Simulink Fault Analyzer の紹介
Simulink Fault Analyzer™ の基本的な概念を学習します。