loader image

モデルベース開発向けのテストソリューション

必数百万ものシナリオをどのようにして作成するか?

テスト数の爆発的増大を避けるには?

テストの合格・不合格をどのように見分けるか?

テスト / 検証 / 分析ターゲット

Cコード

ISO 26262の認証を取得したSoftware-in-the-Loopテスト

手書きCコードのテスト

テスト環境構築の難しさ

手書きCコードのテスト環境の構築は非常に時間のかかる作業です。 関数の階層の定義や変数のプロパティの指定、およびその依存関係や参照が正しく処理されていることの確認にはかなりの工数が必要です。さらに、外部関数や外部変数用のスタブコードを作成する必要な場合もあります。 BTC EmbeddedPlatformでは手書きCコードのテスト環境を非常に簡単かつ迅速に構築できます。

Play now
動画再生
Play now
動画再生

優れたインテグレーション

BTC EmbeddedPlatformのCコードのテスト

BTC EmbeddedPlatformは、一つのテスト環境でモデルと量産コードの両方を処理できますが、手書きのCコードのテスト環境も構築できます。テスト環境の構築は高度に自動化されており、BTC EmbeddedPlatformはCコードのファイル群を自動的に解析し、外部変数や関数が不足していないかどうかを調べ、必要に応じてスタブコードを自動生成します。さらに、 関数コールグラフが表示されるので、どんな小さなソフトウェアのサブ関数でも独立して個別にテストできます。

Cコードをテストするための製品

製品パッケージ

モデルベース開発向け

Back-to-back Testパッケージ

後でモデルとコード間のBack-to-backテストが行われるのであれば、ソフトウェアユニットテストをモデルレベルで行うことが可能です

手書きコード向け

Formal Test BASE パッケージ

形式手法で強化された高度な要求ベーステスト

Formal Test パッケージ

形式手法により高度に自動化された

要求ベーステストと自動テスト生成

Formal Verification パッケージ

テストケース記述不要、数学的に完全な証明

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

評価用ライセンスの申し込み

私たちの製品を試してみたいと思っていただけたのであれば、喜んで無償の評価用ライセンスを発行致します。御希望であれば評価に無償のツールトレーニングもお付けします。ツールトレーニングは他社と合同ではなく、あなた専用で行います。

セールスエンジニアとのミーティング予約

質問をしてみたかったり、ツールが動いているところを見てみたいという方は下のリンクからミーティングをご予約ください。セールスエンジニアリングチームのメンバーが喜んでご対応致します。

BTC EMBEDDED SYSTEMSのブログ

ブログ

組み込みソフトウェア開発、モデルベースデザイン、自動コード生成、ISO26262準拠のテストに関する情報の公開

製品動画

動画

短い動画で当社製品の主な機能をご覧ください。

Back-to-back Test パッケージ

完全に自動化されたBack-to-Backテスト、Regressionテスト、Migrationテスト(自動テスト生成を含む)