BTC TestStack × Simulink

Testing and verification, native in Simulink.

Test your model and the generated production code in one workflow — with built-in support for dSPACE TargetLink and MathWorks Embedded Coder.

live_testing · MIL → SIL → PIL
COMPLETE
100%
MC/DC on model and code
Statement100%
Branch100%
MC/DC100%
MIL ✓SIL ✓PIL ✓

0 deviations · 48 test cases generated

MATLAB/Simulink · Stateflow · dSPACE TargetLink · MathWorks Embedded CoderPowered by BTC QCore
The challenge

Testing has moved to the developer.

Faster release cycles move testing from separate test teams to the developer. In the past, developer testing in Simulink often meant manually trying out different inputs in a model — with no traceability to requirements, no test automation, and no way to reuse test cases on the generated code or in a CI pipeline.

1

Manual trial and error

Trying inputs in the model by hand, one at a time.

2

No requirements traceability

Tests aren't linked to the requirements they check.

3

No automation or reuse

Test cases don't carry over to the generated code or a CI pipeline.

The solution

Test-driven development, right within Simulink.

BTC TestStack brings certified testing and verification capabilities straight to your Simulink models. Drive requirements-based tests, back-to-back testing and coverage across MIL, SIL and PIL — from one project that understands both the model and the generated code. Harnesses are created and kept up to date for you.

Simulink integration

Create, run and debug in place

Set up and execute tests from the Simulink ribbon, and step through failures right on the original model.

MIL / SIL / PIL

Model and code, one project

Run the same tests against the model and the generated code, and prove they behave the same.

No manual harness

Harnesses managed for you

Harnesses are generated and maintained in the background, and follow the model as it changes.

Capabilities

Everything a unit/integration-level test needs, in one place.

Seven capabilities, one project, no separate toolchain.

Test management01

BTC TestCase Manager

A web UI with tables you can sort, filter and group, configurable keyboard shortcuts and saved personalized views.

Execution02

Execute and debug on the model

Run and step through tests on the original Simulink model for fast, test-driven iterations.

Back-to-back testing03

Model vs. code, automatically

Compare MIL against SIL and PIL, with the test architecture extracted automatically from TargetLink or Embedded Coder.

Automatic test generation04

Requirements- or coverage-driven

BTC TestStack generates test cases automatically — either derived from your requirements, or targeted at closing structural coverage.

Code coverage05

Statement through MC/DC

Structural and robustness coverage, updated automatically as tests and code change.

AUTOSAR06

Wrapper models, generated automatically

Automatic wrapper-model generation, including scheduling and client/server stubs.

Requirements traceability07

Linked, plotted, diffed

Links to DOORS, Polarion, PTC Integrity, codeBeamer, Jama and SystemWeaver, with updated plotting and a diff view.

BTC TestStack × AI

Built for the AI era.

BTC TestStack connects into the AI models of your choice. Use AI to accelerate your interactive workflows, or let AI take control and orchestrate your end-to-end workflows.

Built In

BTC AI Assistant

Generative AI that knows your system under test.

A chat assistant built into the workflow. It combines a generative model with TestStack's context about your system under test — interfaces, requirements, structure — to draft artifacts you would otherwise write by hand.

Drafts test cases from requirements and interface context
Turns informal requirements into formalized specifications
Works with your preferred AI models
MCP Server

For AI Agents

Easy to use for humans, easy to use for AI agents.

The same actions an engineer runs in the IDE are exposed to AI agents through an MCP server. An agent can generate tests, run verification and read back results — so verification stays inside the loop the agent is already working in.

BTC TestStack actions exposed as MCP tools
Agents generate, verify and read evidence back
Works with the assistants and agent frameworks your team runs
Both connect back to BTC TestStack
What you get

The workflow gets shorter in five places.

1

One project for model and code

The model and its generated code live in one project, tested with one set of tests.

2

No manual harness

Harnesses are built and maintained for you, and follow the model as it changes.

3

Certified evidence

Results come from TÜV SÜD-certified components, for ISO 26262 and related safety standards from different industries.

4

Fast iteration

Run and debug on the model itself, so a failing test points straight at the block.

5

Automatic coverage

Coverage from statement to MC/DC updates itself as tests and code change.

Certified

BTC TestStack

is ISO 26262 certified

The certificate addresses functional-safety standards across multiple industries:

ISO 26262
Automotive
IEC 61508-3:2010
Industrial / cross-industry functional safety
ISO 25119
Agricultural & forestry machinery
IEC 62304
Medical device software
EN 50716
Railway / rail applications

For ISO 26262, BTC TestStack is certified with the highest Tool Confidence Level (TCL), valid for all ASIL levels including ASIL D. We provide the certificate and report to customers free of charge on request — removing most tool-qualification effort on the customer side.

Get started

Request an evaluation license.

Includes a launch workshop with our engineers, set up on your own Simulink model and generated code.