Play now
動画再生
Play now
動画再生
Close
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
必数百万ものシナリオをどのようにして作成するか？
テスト数の爆発的増大を避けるには？
テストの合格・不合格をどのように見分けるか？
セーフティクリティカルなソフトウエアに対する要求違反の不在証明
大量のテストケースを作成したとしてもソフトウェアが取りうる可能性のあるすべての経路をカバーすることは不可能です。つまり、どんなに厳密なテストを行ったとしても「安全要求に違反しないのか？」という重要な問題は解決されていません。
当社独自のモデルチェック技術により、ソフトウェアが、ある要求に違反しないことを数学的に証明できます。つまり、入力信号とキャリブレーション値の組み合わせでシステムを安全でない状態に追い込むことは不可能であることを証明します。
BTC Embedded Systemsはモデルチェック技術を商用ソフトウェアツールに統合したパイオニアです。この高度に自動化された技術を業界の専門家に提供することで、当社のお客様は組込み開発プロジェクトの効率と品質を大幅に向上させることができます。
モデルチェックの目的は、特定の時相特性に対してシステムの振舞いを広範囲に分析し、その時相特性が成立するかどうかを自動的に判断することです。成立しない場合、モデルチェックはそれに対応する特性に違反する具体的な反例を返します。従来のテストと比較して、モデルチェックはボタンを押すだけで、システムのすべての可能な実行を解析し、システムの動的動作の完全な数学的証明を提供することができます。モデルチェックは、反例を生成することにより、Abstract interpretationのような他の自動解析手法と差異化を図っています。
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
