検证，妥当性确认，テストのためのMATLABおよび的Si万博1manbetxmulink
モデルベースデザインによる组み込みシステムの検证と妥当性确认
エンジニアリングチームは,MATLAB®および仿万博1manbetx真软件®を使用したモデルベースデザイン（MBD，モデルベース开発）により,複雑な組み込みシステムを設計して量産品質のC, c++,およびHDLコードを生成しています。MathWorksのツールは、シミュレーション テストと形式手法に基づいた静的解析を使用して、厳密さと自動化によってモデルベースデザインを補完し、エラーを早期に発見して高品質を実現します。
MATLABとSi万博1manbetxmulink的を使用すれば，次のことが可能になります。
- アーキテクチャ，设计，テスト，コードへの要件のトレース
- 设计が要件を満たしており，重大なランタイムエラーがないことの证明
- モデルやコードの準拠確認および品質測定
- テストケースの自动的生成によるテストカバレッジの向上
- レポートおよびアーティファクトの作成,做- 178やISO 26262.などの規格に準拠していることの証明
“当社が過去に行っていたハンドコーディングと比較すると,モデルベースデザインによって,人件費が30%,検証コストが20%削減され,生産性は30%向上しました。社内ソフトウェア開発チームの立ち上げと同時に進めたにもかかわらず,ECU開発をスケジュールよりも早く完了できました”
李大明，潍柴动力
検证と妥当性确认のためのMATLABおよびSim万博1manbetxulink中の使用
要件の検证
ドキュメント,スプレッドシート,またはIBM®合理的®门®などの要件管理ツールに保存できる非公式のテキスト要件により,開発プロセスが開始されます。万博1manbetxSimulink要求™ を使用すると、アーキテクチャや設計、生成されたコード、テスト アーティファクトとともに要件を表示、作成、管理できます。System Composer™、Simulink、Stateflow®，またはS万博1manbetximulink的测试™のMATLABテストでは，要件から设计までのデジタルスレッドを作成できます。このトレーサビリティにより，実装またはテストのギャップを特定し，変更が设计またはテストに及ぼす影响を迅速に把握することができます。开発プロセスで他のツールとのトレーサビリティを确立できるように，サードパーティツールの要件を表示，同期，管理することができます。
万博1manbetx仿真软件测试の時間的評価では,評価およびデバッグできる自然言語形式の正確なセマンティクスで評価を指定することにより,テキスト要件を検証できます。
认证标准への准拠
DO-178，ISO 26262，IEC 61508，IEC 62304，およびMathWorks公司顾问委员会（MAB）スタイルガイドラインなどの标准に合わせて，モデルとコードの検证を自动化します.Simulink检查™万博1manbetxは，开発中に标准およびガイドライン违反を特定するための，业界认定のチェックやメトリクスを提供します。独自の标准やガイドラインに合わせてカスタムチェックを作成できます.IEC认证工具包（用于ISO 26262和IEC 61508）およびDO资格的试剂盒（DO-178和DO-254）には，コード生成制品および検证制品の适格性を确认し，组み込みシステムの认定の合理化に役立つ，ツール検定アーティファクト，证明书，およびテストスイートが用意されています。
エラーがないことの証明および要件の形式検証
形式検证では，设计をシミュレーションすることなく，整数オーバーフロー，デッドロジック，配列アクセス违反，およびゼロ除算を引き起こす潜在的な设计エラーを検出します.万博1manbetxSimulink设计验证™では，设计にエラーやセキュリティの脆弱性がないことを形式検证できます。また，万博1manbetxSimulink设计验证では，设计が重要な要件を満たしていることを证明できます。ツールが例外を検出すると，デバッグ用の反例を生成します。
テストの自動生成
テストのギャップ,意図しない機能,または要件エラーを特定することが重要です。万博1manbetxSimulink覆盖范围™ は、テスト中に実行されるモデルまたは生成されたコードのカバレッジを測定します。条件、判定、改良条件判定カバレッジ (MCDC)、およびカスタムのカバレッジ オブジェクティブなどの業界標準メトリクスを適用します。Simulink Design Verifier では、テストケースを自動的に生成して不完全なカバレッジに対処し、構造的および機能的なカバレッジ オブジェクティブを達成できます。
静的コード解析
手書きのコードおよび生成されたコードの検証のために,Polyspace®製品は形式手法を使用してバグを検出し,重大なランタイムエラーがないことを証明します。テストケースやコード実行は必要ありません。Polyspace错误发现者™ は、MISRA®，ISO 26262，IEC 61508，DO-178，およびFDA规制などの标准への准拠を确认し，文书化します。ソフトウェアのセキュリティ脆弱性とCWE，CERT-C，ISO / IEC 17961などの标准について确认できます.Polyspace代码证明者™は，静的解析を実施して，CおよびC ++ソースコードのオーバーフロー，ゼロ除算，范囲外の配列アクセス，およびその他のランタイムエラーがないことを证明します。
