Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
テストは十分？
コードカバレッジは、コードのすべての部分がテストされたことを示す手段として、組込みソフトウェア開発プロジェクトにおいて常に重要な役割を果たしてきました。特に、ISO 26262では、ユニットレベルはStatement、Decision、MC/DCのカバレッジメトリックスを測定することを規定しています。
BTC Embedded Platformではバックグラウンドでコードカバレッジが自動的に計算され、測定されます。テストケースを作成、変更、インポート、または削除した場合もコードカバレッジレポートはこれらの変更後即座にを反映され常に更新されます。特定のテストケースのサブセットのカバレッジを確認したい場合には、そのサブセットをクリックするだけです。BTC Embedded Platformは、各サブ関数やサブシステムの個別のカバレッジ情報も提供することにより大きなアプリケーションでも簡単にカバレッジを分析し最適化できます。
BTC EmbeddedPlatformはStatementカバレッジ、Decisionカバレッジ、MC/DCなどの標準的な構造カバレッジゴールに加え、「関係演算子」や「堅牢性」などの幅広いカバレッジゴールを提供し、一般的にバグが発生しやすい状況のテストを簡素化しています。「関係演算子」は、特定の閾値を囲む重要な部分がテストされているかどうかを分析します。例えば、「もしXが5より大きければ」という条件のコードの場合、関係演算子ゴールはXが4、5、6の値を取ったときの状況をチェックします。同様に「堅牢性」ゴールでは、ゼロによる除算やダウンキャストのような厳しい条件下での検証も行えます。
「Domain Checks」機能により、各インターフェースに対して、個別の値や値域を定義したり、インポートしたりすることができます。これにより、等価クラスと境界値分析に関するISO 26262の要求事項に効率的に準拠することができます。
BTC EmbeddedPlatformは、テストケースを自動生成し、Cコードのカバレッジを100%にすることができます。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
モデルベース開発に向けるテストソリューション
Copyright © 2022 BTC Embedded Systems & BTC Japan
