HOME | products | LDRA | 各種資料

各種資料 
静的/カバレッジ解析、単体テスト、要件トレーサビリティ

LCSAJカバレッジ

最も効果的なコードカバレッジテストメカニズム LinkIcon

 
LCSAJ カバレッジを使用すると、ループの解析とプログラム構成要素の組み合わせの解析が強制されるため、他の利用可能な方法よりも、エラーを発生させる可能性のある多くの側面が確実に解析されます。

 

LCSAJ は実行可能コードの線形シーケンス

Data & Control Coupling Analysis

データ結合と制御結合を満たすことについて LinkIcon
データ結合と制御結合の解析技術 LinkIcon

 
モジュラーソフトウェアは、高品質のソフトウェアの特徴と見なされることがよくありますが、その主張は、モジュールが期待どおりに相互作用する場合にのみ当てはまります。 DO-178C 標準では、「要件ベースのテストがコードコンポーネント間のデータと制御結合を実行したことを確認するための解析」を要求しています。 本資料では、制御フローとデータフロー解析の組み合わせによって、制御結合とデータの結合の測定をどのように達成できるか、またソフトウェアツールを使用してそのプロセスをどのように効率化できるかについての概要を説明します。

最悪実行時間(WCET)

マルチコアプロセッサ搭載システムのスタンダード準拠とWCET LinkIcon

 
マルチコアプロセッサの採用には課題がありますが、適切なツールを念入りに使用すれば克服できることを紹介します。
 
リアルタイムシステムの厳しいタイミング制約を満たすには、一般に実行時間の上限が必要です。そしてマルチコアプロセッサの課題は、上限を超えないように、すべてのケースで十分な時間を確保することです。さもなければ、ソフトウェアが常に期待どおりに動作するという保証はありません。
最悪実行時間 (WCET) は、特定の環境でタスクを実行するのにかかる最大時間です。
一般に、プログラムの実行時間の明確な上限を計算することはできません。

 

 

ターゲット環境でテスト実行の例

 
AURIX™ TriCore™用 HighTec社コンパイラとローターバッハ社デバッガ
 

 
 

お問い合わせ

購入前の製品説明・資料請求・見積依頼・デモ依頼など

 メールでお問い合わせください 
 

購入後の製品の技術サポートに関するお問い合わせ

 技術的なお問い合わせは、ヘルプデスクまでメールでお問い合わせください