Products

ユースケース

自動テスト生成

テストケースを手動で作成する必要はない、自動で生成可能

苦労せずに高いカバレッジを実現

自動テスト生成

BTC EmbeddedPlatformはテストケースを自動生成し、Cコードや形式要求のカバレッジ100%を実現します。

テスト生成はランダムアルゴリズムだけでなくモデルチェック技術にも基づいています。この技術により、静的解析を行い到達不可能な目標があることを数学的に証明します。

Play now

自動テスト生成の対象

コードカバレッジ

BTC EmbeddedPlatformは量産コードの完全な構造カバレッジを達成するためにテストケースを自動生成できます。これには、Statement、Decision、Condition、MC/DC、Domainカバレッジなどのカバレッジゴールが含まれます。テスト生成ツールはすべての入力変数とキャリブレーションにアクセスできますので、手動で作成したテストケースでは判明しなかった問題点を検出できます。

Statement Coverage

Decision/ Branch Coverage

Condition Coverage

MC/DC Coverage

Function Coverage

Function Call Coverage

Relational Operator Coverage

Division by 0 Coverage

Downcast Coverage

Switch Case Coverage

Equivalence Class coverage

Boundary Value Coverage

User-Defined Coverage

Relational Operator Coverage

自動テスト生成の対象

形式要求カバレッジ

BTC EmbeddedPlatformは要求に対するテストケースを自動的に生成し、すべての形式要求を100%カバーすることが可能です。各形式要求のカバレッジ目標は、単純に要求を一度カバーするだけでなく、要求のトリガー部分を満たすための様々な可能性を考慮した、より高機能なカバレッジを実現しています。

DIVIDE AND CONQUER

階層的アプローチ

BTC EmbeddedPlatformは特に大規模なソフトウェアを扱う際にテストや検証（自動テスト生成、形式検証を含む）をより効率的かつ効果的に行うための「階層的アプローチ」をサポートしています。サブシステム毎のテスト・検証は、追加の作業なしに行うことができます。テスト/検証後、レポートを自動生成します。

テスト自動生成が行える製品

製品パッケージ

Back-to-back Test パッケージ

MC/DCなどの構造カバレッジ向けの自動テスト生成

フォーマルテストパッケージ

形式要求向けの自動テスト生成

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

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

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

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

Blog

6月 10, 2024

Why you want to use industry standard tools now!

Inhouse applications and solutions have their own appeal.
But they also bring some challenges like maintainability and tool qualification.
In the long-run, industry standard tools are often the better choice.

Wolfgang Meincke

Stuttgart, Germany

Blog

4月 26, 2024

AUTOSAR Adaptive – Every Functional Developers Guide

The automotive industry is currently in a transition phase to the so-called "Software Defined Vehicle"
This transition also requires new concepts for the architecture of the software
One answer is the AUTOSAR Adaptive Standard which provides a modular service oriented software architecture

Yatish Chitluri

Oldenburg, Germany

Blog

1月 9, 2024

Best Practices for an Efficient Test of Simulink Models

Model-based Development has become a de-facto standard for the development of embedded software
Testing is always one of the most time consuming and challenging tasks
This article summarizes some of the most important best practices to stay efficent

Yatish Chitluri

Oldenburg, Germany

Blog

11月 10, 2023

Testing Autonomous Driving – The Other Part of the Iceberg

The automotive industry is transforming into increasingly automated mobility
Automated driving systems must navigate in situations which are difficult to foresee
How much testing do we need to perform to prove that the system is safe enough?

Nabile Khoury

Paris, France

Blog

9月 5, 2023

AUTOSAR – When to use Client/Server or Sender/Receiver communication?

AUTOSAR software components communicate via standardized interfaces
The prominently used interfaces are Sender/Receiver and Client/Server
When is it suitable to use one or the other?

Nabile Khoury

Paris, France

Blog

8月 30, 2023

AUTOSAR – What Every Function Developer Should Know…

AUTOSAR was introduced 15 years ago as a standardized architecture to develop complex automotive applications
Today, new projects and teams continue to embrace the standard
What are the key concepts a function developer should know while using AUTOSAR?

Nabile Khoury

Paris, France

製品動画

動画

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

Play now

Back-to-back Test パッケージ

Back-to-backテスト、回帰テスト、マイグレーションテストの完全自動化（テスト自動生成機能を含む）

インテリジェントで自動化されたテストソリューションにより、複雑度の増大が続くソフトウェアへの対処とISO26262に準拠した高いソフトウェア品質獲得をサポートします。

ユースケース

自動テスト生成

苦労せずに高いカバレッジを実現

自動テスト生成

自動テスト生成の対象

コードカバレッジ

Statement Coverage

Decision/ Branch Coverage

Condition Coverage

MC/DC Coverage

Function Coverage

Function Call Coverage

Relational Operator Coverage

Division by 0 Coverage

Downcast Coverage

Switch Case Coverage

Equivalence Class coverage

Boundary Value Coverage

User-Defined Coverage

Relational Operator Coverage

自動テスト生成の対象

形式要求カバレッジ

DIVIDE AND CONQUER​

階層的アプローチ

テスト自動生成が行える製品

製品パッケージ

Back-to-back Test パッケージ

フォーマルテストパッケージ

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

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

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

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

BTC EMBEDDED SYSTEMSのブログ

ブログ

製品動画

動画

Back-to-back Test パッケージ

製品

会社紹介

ニュース

技術情報

窓口

製品

会社紹介

ニュース

技術情報

窓口

DIVIDE AND CONQUER