高信頼性ソフトウェア開発のためのすぐに使用できるチェック

モデルや生成されたコードの品質とセキュリティを向上するために,金宝app模型检查では,業界標準に準拠するための事前に構成されたチェック機能が用意されています。業界標準には、ISO 26262 - 178 C, - 331, - 254, IEC 61508、ISO 25119、EN 50128のほか,MISRA - C: 2012年,MathWorks顾问委员会(MAB)ガイドライン,高信頼性ソフトウェアを開発するためのIEC 62304標準,CERT C, CWE,およびISO / IEC TS 17961といったセキュリティで保護されたコーディング規約などがあります。

编集时间のエラーの特价と修正

スペルチェックがドキュメント内のスペルエラーを回避するのに役立つのと同様に,編集時チェックは,モデルの編集時に違反を通知します。開発プロセスの遅い段階で発生する,コストのかかる手直し作業や追加テストを最小限に抑えために,編集中にエラーを修正することができます。

モデルモデルチェックの，カスタカスタ，および自动化

モデルが組織独自の規格またはガイドラインに準拠していることを確認するために,モデルアドバイザーAPIまたはモデルアドバイザーの設定エディターを使用して,モデリングのチェックおよび設定を調整できます。複数のマシンによるチェックを並行処理して,準拠検証を加速できます。

セキュリティ標準への準拠のチェック

作物さされたコードCERT C，CWE，ISO / IEC TS 17961への準拠の問題を軽減するために,モデルを確認して,コーディング規約への準拠違反につながる可能性のあるモデル構造を特定することができます。編集時チェックにより,セキュリティで保護されたコーディング規約では推奨されていないブロックの追加などの変更が行われた場合に,問題を特定できます。

要件ベースのテストのメトリクス

モデルテストダッシュボードは,要件ベースのテストの品質および完全性についての概要を提供し,ISO 26262 - 178なや做ど,業界が認定したソフトウェア開発標準におけるガイドラインを反映しています。また,プロジェクト内のアーティファクトを,要件,モデル,テスト結果などの複数のリソースおよびツールから解析し,その状態に関する詳細なメトリクス測定値を提供します。

ダッシュボードウィジェットは各メトリクスを要约して，ガイドラインへの准拠，要件に対するテストの网罗率，およびテストの対象となる要件の割合など，现在のテスト结果を迅速に评価します。

要件ベースのテストアーティファクトのレビューと管理

モデルテストダッシュボードは,プロジェクトのアーティファクトおよびトレーサビリティリンクを解析し,アーティファクトパネルにプロジェクト内の各コンポーネントの機能要件,テストケース,およびテスト結果を示します。実装や検証のギャップを特定しやすくするため,モデルに対するトレーサビリティのないアーティファクトが強調表示されます。

ISO 26262に准拠ししたの完全性の评価

モデルテストダッシュダッシュボードをし，iso 26262-6：2018に准拠した要件ベーステストアクティビティののと完全を评価しますます性は，要件，テスト，テストおよびテストテストのトレーサビリティ监视监视监视监视监视监视监视また，プロジェクトでのの装および検证のアーティファクト解析し，iso 26262-6：2018に准拠した要件ベーステストケースと结果に対する完全とでメトリクスを提供しダッシュボードでは提供ます。テストケース，およびテスト结果がトレースれるれるに基于完全れ，各ユニットのの完全性ととなカバレッジについての情とされについてのと的されれ

モデリングクローンの特价とリファクタリング

モデリングクローンの特价ツールは，モデルを解析して，重复するモデリングパターンを见つけ。これらの重复するクローン见つけます。これらの重复するを，再利用可根据性ライブラリに自动的にリファクタリングて，保守性ををて，保守性をし，设计の复雑度を軽减することができます。

コンポーネントの再利用性およびモデルの可読性を向上するためのモデルの変換

モデルトランスフォーマーツールは,变异来源ブロックまたは变体子系统ブロックに変換可能なモデリングパターンを特定し,モデルのコンポーネント化と再利用性を向上させるためにモデルをリファクタリングします。このツールは,可読性を向上させるために削除可能なデータストアブロックを特定することができます。