Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
Simulink、TargetLink、EmbeddedCoder および手書きCコードに対するRequirements-based テスト
Requirements-based テスト（期待値テスト、機能テストとも呼ばれる）は、テスト対象のシステム（ソフトウェアユニットなど）が要求を正しく実装していることを確認するテスト手法です。テストケースとテスト目的は要求から導出され、テスト対象のシステム上で実行できるような言語で実装されます。
Requirements-based テストは、一般的にとても時間のかかる作業です。これは、テストケースの作成に手作業が必要なだけでなく、結果のトレーサビリティ、カバレッジ分析、テストハーネスの作成は現実的な課題であり、統合性の低いツールの寄せ集めを必要とすることが多いからです。
弊社の経験では、テストケースは本来の目的とは異なる言語で書かれることが非常に多い。例えば、MatlabやPythonのようなスクリプト言語、Excelの表、あるいはCコードなどです。
BTC EmbeddedPlatformは、機能テストケースのための強力なエディタを提供します。BTC EmbeddedPlatformとの緊密な統合により、エディタはテストアーキテクチャの詳細をすべて把握し、不正なデータ入力からユーザーを保護します。列挙型を使用する場合、ドロップダウンメニューが提供され、必要な値を直接選択することができます。
さらに、信号発生器、グラフィカルなビューア、柔軟な公差処理、数式エディタなどの機能があり、他の変数に基づいて特定の信号の値を計算することが可能です。”テストマクロ “と “キャリブレーションセット “は、再利用可能なシーケンスを指定・保存し、複数のテストケースにインスタンス化することができます。これにより、エディタ内で直接テストケースを実行し、その結果をすぐに可視化することが可能です。
IBM DOORS、PTC Integrity、Siemens PolarionなどのALM/PLM要求管理ツールに直接API接続することにより、ExcelやReqIFなどのエラーを起こしやすい交換フォーマットを避けつつ、信頼性の高い要求のトレーサビリティを確保することができます。
要求だけでなく、テストケースやシミュレーション結果を同期させ、ALM/PLMツールで直接プロジェクトレベルのテストステータスにアクセスすることも可能です。
要求が変更された場合、BTC EmbeddedPlatformは、リンクされたテストケースと同様に、その要求をハイライト表示します。便利なDIFFビューにより、ユーザーは変更点を確認し、必要に応じてテストケースを更新することができます。
モデルカバレッジレポートは、Simulink/Stateflowモデルで達成されたカバレッジを記録します。大規模なモデルのサブシステムレベルにテストケースが存在する場合、カバレッジメトリクスは自動的に上位の階層レベルに集約されます。
コードカバレッジはバックグラウンドで自動的に計算し、更新されます。テストケースを作成、変更、インポート、または削除した際にもこれらの変更を反映するためにコードカバレッジレポートは常に更新されています。
BTC EmbeddedPlatformは階層的アプローチ対応です。階層的アプローチを用いることで大きなソフトウェアに対するテスト・検証(自動テスト生成、形式検証含む)でも効果的かつ効率的に実施できます。
BTC EmbeddedPlatformの階層的アプローチでは下位のサブシステムを直接選択してテスト・検証の対象できます。テスト・検証が終わると、全てのサブシステムのテスト結果を積算したレポートが自動生成されます。
BTC EmbeddedPlatformはサンドボックスを生成するというユニークなデバッグアプローチを採用しています。サンドボックスにはテスト対象やテストケースなど、デバッグに必要なファイルの全てのコピーが入っています。サンドボックスはユースケースに応じてSimulinkモデル、Microsoft Visual Studioのプロジェクト、または汎用的なコードベースプロジェクトとして生成されます。これらのサンドボックスは同僚や顧客と簡単に共有することが可能です。サンドボックスで色々と試す中で、元のテスト対象に変更の影響が及ぶこともありません。
形式手法と自動テスト生成により高度に自動化された先進的なRequirements-based テスト
Requirements-based テストが含まれます
自動テスト生成を含むBack-to-back テスト、Regression テスト、マイグレーションテストの完全自動化
Requirements-based テストが含まれます
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
Simulinkモデルに対するRequirements-based テスト
Copyright © 2022 BTC Embedded Systems & BTC Japan
