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?

Test / Verification / Analysis Targets

Generic Execution Records

Execution Records imported from external simulation environment

Introduction

Generic Execution Records

You may have tremendous amount of execution results simulated on third party tools. Each execution record may contain hundreds of signals and millions of time-steps. Are you sure that all those execution records fulfill all requirements for each step?

Execution record represents behavior of your system and contains meaningful information. Deeper analysis of the execution records contributes on improvement of your tests with minimum effort.

EXECUTION RECORDS

Supported File Formats

CSV and ASAM MDF (dSPACE/BTC) are supported. We can add user specific format as plugins on demand.

FLEXIBLE IMPORT

Smart Import

BTC EmbeddedPlatform detects interfaces in execution records automatically. You do not need manually input interface definitions.

PRODUCT FOR VERIFYING GENERIC EXECUTION RECORDS​

Product Package

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods

Formal Test Package

Highly automated and advanced requirements-based testing enhanced by formal methods and automatic test generation

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.

Formal Test BASE Package

Advanced requirements-based testing enhanced by formal methods