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

C Code

Software-in-the-Loop Tests

Testing Handwritten C Code

The Challenge

Setting up a test project for handwritten C code can be quite a time-consuming task. Significant effort is required to define the hierarchy of your functions, specify the properties of your variables, and make sure all dependencies and references are correctly handled. In some cases, we even need to create stub code for external functions or variables. With BTC EmbeddedPlatform it is very easy and quick to set up a test project for handwritten C-Code. 

Play now
Play Video
Play now
Play Video

Perfectly Integrated

Testing C Code with BTC EmbeddedPlatform

Although the strength of BTC EmbeddedPlatform lies in both managing models AND production code in one single test project environment, BTC EmbeddedPlatform can also create a test project for handwritten C code.

The creation of a test project is highly automated. After providing your code files, BTC EmbeddedPlatform automatically analyses the code for missing external variables or functions and automatically generates the needed stub code. The function call graph is automatically analyzed and displayed, allowing you to independently test any smaller software subfunctions.

PRODUCT FOR Testing C-Code

Product Package

For Model-BASED DEVELOPMENT

Back-to-back Test Package

Software unit testing can be carried out at the model level followed by back-to-Back comparison tests between model and code

FOR HAND-WRITTEN CODE

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

Formal Verification Package

Mathematically complete proof, no effort for writing testcases

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