loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Use Cases

Automatic Test Generation

No need to create testcases manually, automation is available

HIGH COVERAGE WITHOUT EFFORT

Automatic Test Generation

BTC EmbeddedPlatform allows generating test cases automatically, providing you 100% coverage of your C-Code and/or Formal Requirements.

The test generation is based not only on random algorithm but also on Model Checking technology. This technology performs a static analysis mathematically proving that some objectives are unreachable.

Play now
Play Video
Play now
Play Video

TARGETS OF AUTOMATIC TEST GENERATION

Code Coverages

BTC EmbeddedPlatform allows you to automatically generate test cases in order to achieve full structural coverage of your production code. This includes coverage goals like statement, decision, condition, MC/DC or domain coverage. The test generator will be able to access all input variables and calibrations, allowing it to detect issues that have not been revealed by manually created test cases.

Toogle

Statement Coverage

Toogle

Decision/ Branch Coverage

Toogle

Condition Coverage

Toogle

MC/DC Coverage

Toogle

Function Coverage

Toogle

Function Call Coverage

Toogle

Relational Operator Coverage

Toogle

Division by 0 Coverage

Toogle

Downcast Coverage

Toogle

Switch Case Coverage

Toogle

Equivalence Class coverage

Toogle

Boundary Value Coverage

Toogle

User-Defined Coverage

Toogle

Relational Operator Coverage

TARGETS OF AUTOMATIC TEST GENERATION

Formal Requirement Coverage

BTC EmbeddedPlatform allows generating test cases for your requirements automatically, providing you 100% coverage for all Formal Requirements. Coverage goals for each Formal Requirement is more sophisitcated than just covering the requirement once, it additionally consider different possibilities for fulfilling trigger part of the requirement.

DIVIDE AND CONQUER​

Hierarchical Approach

BTC EmbeddedPlatform supports “Hierarchical approach” which makes test and verification (incl. Automatic Test Generation, Formal Verification) more efficient & effective especially when working with large software. You can test/verify child subsystems without additional effort. After the testing/verification, aggregated reports are automatically generated.

PRODUCT FOR AUTOMATIC TEST GENERATION

Product Package

Back-to-back Test Package

Automatic Test Generation for structural coverage goals such as MC/DC is included

Formal Test Package

Automatic Test Generation for Formal Requirements is included

Request an Evaluation License

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

Request an Evaluation License​

If you would like to try out our tools, we will gladly provide an evaluation license free of chargeEvaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.

Schedule a Meeting with our Engineering Team

Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.

BTC EMBEDDED SYSTEMS BLOG

From our Blog​

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS

Videos

Discover some of the main features of our products in these short videos.

Back-to-back Test Package

Fully automated Back-to-back Test, Regression Test and Migration Test incl. Automatic Test Generation