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

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

Blog

8月 30, 2023

The Power of Focus – How to Optimize a Model Checker for Embedded Software

Model checking is a powerful technique to analyze the dynamic behavior of software with mathematical completeness
The complexity of the algorithm makes it challenging to apply model checking to industrial applications
In this article, our Chief Research Engineer shares some insights into how BTC has addressed these challenges

Dr. Tino Teige

Oldenburg, Germany

Blog

8月 30, 2023

When and how to generate test cases automatically

The creation of test cases for embedded software is often a time-consuming task
The question is: Can automatic test generation help increase the efficiency?
This article describes the use cases and methods for automatic test generation

Wolfgang Meincke

Stuttgart, Germany

Blog

8月 30, 2023

How to Set Up Jenkins From Scratch on Your Own PC in 5 Minutes

Jenkins continues to grow even more popular in all branches of software development but the getting-started-barrier is still conceived to be quite high by some people
You don't have to wait for your IT department to get hands-on experience and start automating your software delivery process
See how easy it is to get started with Jenkins from scratch on your own Windows 10 laptop!

Thabo Krick

Oldenburg, Germany

Blog

8月 30, 2023

What You Should Know About Fixed-Point Code

Fixed-point code is still used in many embedded software projects
Some people believe it will disappear with the availably of faster processors
This article will clarify some vocabulary, give recommendations on how to handle fixed-point efficiently and point out some of its advantages

Markus Gros

Berlin, Germany

Blog

8月 30, 2023

Why and How to Improve Requirements

Requirements stand at the beginning of each development process and their quality has an impact on all following steps
The quality of requirements in embedded software projects is often insufficient
This article shows how formalization can help to increase the requirements quality

Wolfgang Meincke

Stuttgart, Germany

製品動画

動画

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

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