Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
形式手法で強化された高度な要求ベーステスト
従来の要求ベーステストのプロセスでは、各テストケースはそれが派生した要求に対してのみ評価されておりました。しかし、もしテストケースNo.5が要求No.10に違反していたとしたらどうでしょうか？フォーマルテストは形式化されたすべての要求に対して、すべてのテストケースの自動クロスチェックを実行します。これにより、追加のテスト作業をすることなく、間接的な影響を検出することができます。
もはやモデルと要求の間のトレーサビリティを確保する必要はありません。形式要求では要求カバレッジが測定可能な数学的定義を得られます。形式要求カバレッジはフォーマルテスト中に自動的に測定され、どの要求がどのテストケースでテストさ れたかを示します。さらに、形式要求内の各種状態のカバレッジも報告されます。
BTC EmbeddedPlatformは階層的アプローチ対応です。階層的アプローチを用いることで大きなソフトウェアに対するテスト・検証(自動テスト生成、形式検証含む)でも効果的かつ効率的に実施できます。
BTC EmbeddedPlatformの階層的アプローチでは下位のサブシステムを直接選択してテスト・検証の対象できます。テスト・検証が終わると、全てのサブシステムのテスト結果を積算したレポートが自動生成されます。
BTC EmbeddedPlatformはサンドボックスを生成するというユニークなデバッグアプローチを採用しています。サンドボックスにはテスト対象やテストケースなど、デバッグに必要なファイルの全てのコピーが入っています。サンドボックスはユースケースに応じてSimulinkモデル、Microsoft Visual Studioのプロジェクト、または汎用的なコードベースプロジェクトとして生成されます。これらのサンドボックスは同僚や顧客と簡単に共有することが可能です。サンドボックスで色々と試す中で、元のテスト対象に変更の影響が及ぶこともありません。
m-APIやREST-APIを使用するとテストワークフローを完全に自動で実行することができます。完全に自動化された フォーマルテストはユーザーとのインタラクションなしに、順次実行することができます。
BTC EmbeddedPlatformはJenkinsなどの継続的インテグレーション/継続的デプロイメントをサポートし、強力で柔軟なREST APIとLinuxベースのコンテナイメージを利用できますので自社サーバーやクラウド上であらゆるテスト自動化ニーズに対応できます。
組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開
短い動画で当社製品の主な機能をご覧ください。
形式手法と自動テスト生成により強化された、高度に自動化された高度な要求ベーステスト
Copyright © 2022 BTC Embedded Systems & BTC Japan
