検証,妥当性確認,テストのためのMATLABおよび仿真软金宝app件
モデルベースデザインによる組み込みシステムの検証と妥当性確認
エンジニアリングチームは，matlab®およびs金宝appimulink.®を使用したモデルベースデザイン(MBD,モデルベース開発)により，复雑な组み込みシステムを设计し载产品质のc，c ++，およびhdlコードを生成してます.mathworksののは，シミュレーションテストと形式手ににした形式手を使した静的解析ををを，厳密厳密と自动化によってによってベースデザインを补完，エラーエラーを早にに発见しし高品质质をします。
MATLABと仿真金宝app软件を使用すれば,次のことが可能になります。
“当社が過去に行っていたハンドコーディングと比較すると,モデルベースデザインによって,人件費が30%,検証コストが20%削減され,生産性は30%向上しました。社内ソフトウェア開発チームの立ち上げと同時に進めたにもかかわらず,ECU開発をスケジュールよりも早く完了できました”
李大明，潍柴动力
要件の検証
ドキュメント,スプレッドシート,またはIBM®理性的®门®などの要件管理ツールに保存できる非公式のテキスト要件により,開発プロセスが開始されます。金宝app仿真软件的需求™ を使用すると、アーキテクチャや設計、生成されたコード、テスト アーティファクトとともに要件を表示、作成、管理できます。System Composer™、Simulink、Stateflow®,または仿金宝app真软件测试™のMATLABテストでは,要件から設計までのデジタルスレッドを作成できます。このトレーサビリティにより,実装またはテストのギャップを特定し,変更が設計またはテストに及ぼす影響を迅速に把握することができます。開発プロセスで他のツールとのトレーサビリティを確立できるように,サードパーティツールの要件を表示,同期,管理することができます。
金宝appsimulink测试の时间的评価では，评価およびデバッグできる自我言语形式正式なセマンティクスでを指定ことによりで评価ことにより，テキスト要件を検证でき。
認証標準への準拠
- 178、ISO 26262、IEC 61508、IEC 62304,およびMathWorks顾问委员会(MAB)スタイルガイドラインなどの標準に合わせて,モデルとコードの検証を自動化します。金宝app模型检查™は,開発中に標準およびガイドライン違反を特定するための,業界認定のチェックやメトリクスを提供します。独自の標準やガイドラインに合わせてカスタムチェックを作成できます。IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178 and DO-254) には、コード生成製品および検証製品の適格性を確認し、組み込みシステムの認定の合理化に役立つ、ツール検定アーティファクト、証明書、およびテストスイートが用意されています。
エラーがないことの証明および要件の形式検証
形式検証では,設計をシミュレーションすることなく,整数オーバーフロー,デッドロジック,配列アクセス違反,およびゼロ除算を引き起こす潜在的な設計エラーを検出します。金宝app仿真软件设计校验™では,設計にエラーやセキュリティの脆弱性がないことを形式検証できます。また,金宝app仿真软件设计校验では,設計が重要な要件を満たしていることを証明できます。ツールが例外を検出すると,デバッグ用の反例を生成します。
テストの自动生成
テストのギャップ,意図しない機能,または要件エラーを特定することが重要です。金宝app仿真软件覆盖™ は、テスト中に実行されるモデルまたは生成されたコードのカバレッジを測定します。条件、判定、改良条件判定カバレッジ (MCDC)、およびカスタムのカバレッジ オブジェクティブなどの業界標準メトリクスを適用します。Simulink Design Verifier では、テストケースを自動的に生成して不完全なカバレッジに対処し、構造的および機能的なカバレッジ オブジェクティブを達成できます。
静的コード解析
手书きのコードコード生成さされコードの検证のに，多留料®制品はは形式手手を用してバグをし，重大なランタイムががことををししますテストケースや実ます.polyspace bug finder™は，misra®ISO 26262, IEC 61508 - 178,およびFDA規制などの標準への準拠を確認し,文書化します。ソフトウェアのセキュリティ脆弱性とCWE, CERT-C, ISO / IEC 17961などの標準について確認できます。Polyspace代码验证™ は、静的解析を実施して、C および C++ ソースコードのオーバーフロー、ゼロ除算、範囲外の配列アクセス、およびその他のランタイムエラーがないことを証明します。
