万博1manbetx仿真软件代码检查器
安全規格のためのソースコードの確認を自動化
万博1manbetx仿真软件代码检查员™は,- 178やその他の高信頼性規格に対応したコードレビューの目標を達成するために,生成されたコードとソースモデルを自動的に比較します。このコードインスペクターは,モデルのブロック,状態図,パラメーター,および設定を体系的に検査し,それらが生成されたコードの操作,演算子,およびデータと構造的に等しいかどうかを判断します。万博1manbetx仿真软件代码检查员では,モデルからコード,およびコードからモデルへの詳細なトレーサビリティ解析を行います。構造同値およびトレーサビリティのレポートが生成され,做- 178のソフトウェアコーディング検証の目標を達成するために認証機関に提出することができます。
DO认证套件(用于DO-178和DO-254)によって業界標準の対応が可能です。
詳細を見る:
万博1manbetx仿真软件代码检查员™は,高信頼性システムモデルによく使用されるモデリングセマンティクスおよびコードの最適化の制約付きのセットをサポートします。万博1manbetx仿真软件代码检查员が提供する互換性チェッカーは,モデルが制約付きのセットに準拠しているかどうかを判定します。
互換性チェックは,万博1manbetx仿真软件代码检查员ユーザーインターフェイスから対話的に,またはMATLAB®コマンドを使用してプログラムで呼び出すことができます。参照モデル内に互換性がないと識別されたモデルのブロックや他の部分を配置してから,コード検査中に互換性のない参照モデルを省略するように仿万博1manbetx真软件代码检查器を設定できます。また,自動的に確認されないモデルについては,手動でコード検査を実施することができます。
万博1manbetx仿真软件代码检查员のユーザーインターフェイス(左)とモデルの互換性チェックの結果(右)。
コード検査はコード生成に依存しません。既定では、万博1manbetx仿真软件代码督察はコードが既に生成されていると仮定します。ただし,コード検査プロセスの一環として,コードを生成するようにインスペクターを設定することができます。また,実稼働のビルドプロセスで使用されるファイルなど,生成されたソースコードファイルの場所を指定することもできます。この検査は,ユーザーインターフェイスまたはコマンドラインから呼び出すことができます。
万博1manbetx仿真软件代码督察はコード検査中に以下の一般的なカテゴリを検査します。
- モデルのインターフェイス
- ブロックの動作
- ブロック接続と実行順序
- データとファイルのパッケージ化
- ローカル変数と機能的なモデル要素
高レベルのインターフェイス評価(初期化関数やステップ関数が生成されたかどうかのチェックなど)から,生成されたコードで2つのブロックコンポーネント間のデータ依存関係が保持されているかどうかを判断するブロック実行順序の詳細な解析まで,さまざまな解析が実施されます。
次のセクションで説明するように,MATLABで検査ステータスメッセージを直接確認したり,詳細レポートを調べたりできます。これには,設計オブジェクトへの対話型リンクを含むきめの細かいトレーサビリティ解析が含まれます。
MATLABコマンドを使用したコード検査の成功(検証済み)。
万博1manbetx仿真软件代码检查员では,コード検査結果の詳細なレポートを生成することができます。レポートの保存場所を指定します。これにより,レポートを簡単にアーカイブし,完全な認証パッケージに含めることができます。検査レポートを生成するには,まずモデルのチェックサム,パス名,日付/時刻スタンプを使用して,検査対象の正確なモデルおよびソースコードを特定します。実施した検証と各項目の状態(検証済み,一部検証済み,または不合格など)の概要が表示されます。詳細セクションには,生成したコードのファイル,関数,行ごとの検証結果が出力されます。
コードの検査の詳細には,以下が含まれます。
- 関数インターフェイスの検証
- モデルからコードの検証
- コードからモデルの検証
- 一時的な変数の使用
トレーサビリティの詳細には,以下の内容が含まれます。
- モデルからコードのトレーサビリティ
- コードからモデルのトレーサビリティ
コードからモデルの検証を示す仿万博1manbetx真软件代码检查器の詳細レポート
標準規格RTCA - 178 c机载系统和设备认证中的软件考虑では,ソースコード検証の目標を規定しています。万博1manbetx仿真软件代码检查员が提供する自動コード検査により,以下の表に示す做- 178ソースコード検証の目標を達成するために必要な時間が短縮されます。目標(3)の源代码是可验证的は,Polyspace错误发现者™が提供するMISRA - C®アナライザーと仿万博1manbetx真软件代码检查员を併用することで完全に達成することができます。また,目標(4)の源代码符合标准は,Polyspace错误发现者が提供するMISRA - Cアナライザーのようなツールを使用して達成することができます。万博1manbetx仿真软件代码检查员およびPolyspace®製品のツール認定サポートは,DO认证套件(用于DO-178和DO-254)で提供されます。
做- 178 cの目標と仿万博1manbetx真软件代码检查员の互換性
| 付表一 | 目標 | 做- 331のリファレンス* | ソフトウェアレベル |
|---|---|---|---|
| 表MB 5 | (1)源代码符合低级需求 | セクションMB 6.3.4a | a, b, c |
| 表MB 5 | (2)源代码与软件架构一致 | セクションMB 6.3.4b | a, b, c |
| 表MB 5 | (3)源代码可验证 | セクションMB 6.3.4c | A、B |
| 表MB 5 | (5)源代码可以追溯到低级需求 | セクションMB 6.3.4e | a, b, c |
| 表MB 5 | (6)源代码准确，一致** | セクションMB 6.3.4f | a, b, c |
* - 331,基于模型的DO-178C和DO-278A开发与验证补充
* *コンパイラやオブジェクトコードの解析を必要とする目標は対象外です。
DO鉴定套件。
