金宝app^®检查™はモデル,要件,テストを解析し,設計の品質と標準への準拠性を評価します。開発中にモデリング標準およびガイドラインの違反を特定する,業界認定のチェックとメトリクスを提供します。サポートされる高信頼性ソフトウェア開発標準には、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、および MathWorks Advisory Board (MAB) スタイル ガイドラインが含まれます。金宝app仿真软件检查CWEは,CERT C,およびISO / IEC TS 17961といった,セキュリティで保護されたコーディング標準もサポートします。独自の標準やガイドラインに準拠するカスタムチェックを作成することができます。編集する際,編集時チェックが準拠問題を特定します。

金宝app仿真软件检查は,サイズおよび複雑度など,設計のステータスと品質を評価するためのメトリクスを提供します。モデルテストダッシュボードでは,要件に基づくテストアクティビティで得られたデータを統合して,テストのステータスを追跡します。自動モデルリファクタリングにより,モデリングクローンの置換,設計の複雑度の削減,および再利用可能なコンテンツの特定を行うことができます。モデルスライサーツールは,問題のあるモデル動作を分離して,デバッグ用の簡略化モデルを生成します。

業界標準には,IEC认证工具包(ISO 26262とIEC 61508用)と做资格工具包(- 178用)によって対応しています。