Full coverage by hand is slow — often impossible
Hand-picking inputs to exercise every decision and MC/DC objective takes real effort, and some objectives are hard to reach by intuition at all.
BTC TestStack
Automatic test generation.
Reach full structural coverage and turn requirements into test cases — generated automatically by BTC TestStack.
Structural coverageRobustnessRequirementsModel & code
The challenge
Writing test cases by hand doesn't scale.
The tests you need are well defined — full structural coverage, robustness at unit level, requirements-based tests. Producing them by hand, or by chance, is where the effort goes.
Random generators are large and blind
Random or search-based generation produces big, redundant sets — and can't tell a genuine coverage gap from an objective that simply can't be reached.
Requirements to test cases is manual work
Turning a natural-language requirement into an executable test case — inputs, expected outputs, traceability — is repetitive work, and it repeats every time a requirement changes.
The solution
BTC TestStack generates the tests you need.
BTC TestStack generates tests automatically for every goal that matters — structural coverage, robustness and requirements. A deterministic model-checking engine handles coverage and robustness; while the BTC AI Assistant turns requirements into executable test cases.
Deterministic model checking
Coverage and robustness test cases are derived from the structure itself — 100% coverage, mathematically complete, certified for ISO 26262 and related standards.
BTC AI Assistant for requirements
Reads a natural-language requirement and drafts an executable, requirements-based test case you review before it lands.
Formal + AI
Trust in AI-generated artifacts — automatically, no manual review.
When a requirement is available in a formal, machine-readable form, BTC TestStack uses it as the independent reference to check the AI output against. The formal requirement is what the generated artifact is verified against — so the result can be trusted without a manual review step.
Three goals, one solution
Whatever you need to test for, BTC TestStack generates it.
Three goals for automatic test generation.
Structural coverage
100% coverage, or a proof it can't be reached.
Generates the test cases — input and calibration values — that exercise every reachable structural element: statement, decision, MC/DC and more, on model or code.
Powered by model checking, it finds the smallest, shortest set — and returns a mathematical proof when a goal is unreachable. These tests are valuable for Back-to-Back, Regression Testing, Migration Testing and dead code analysis.
Coverage report · Controller_Rev4
MC/DC coverage100%
statement48 / 48
decision31 / 31
MC/DC · branch F @ line 88unreachable · proven
Robustness
Find the problem, or show it can't happen.
Checks unit-level runtime errors — division by zero, downcasts, array-out-of-bounds and range violations — by generating a test case that reaches the fault.
The ideal result is that no test case is found: a proof the problematic state can not be reached. If one can be reached, you get the test case to debug it.
Robustness · unit checks
division by zerono test · proven
downcastno test · proven
array out of boundstest found
range violationno test · proven
idx_buf @ line 213 → open test to debug
Requirements
From a natural-language requirement to an executable test case.
The BTC AI Assistant turns a requirement into an executable, requirements-based test case — with a Draft Mode you review before it's accepted — at unit and integration level.
The test case stays structured, reviewable and traceable back to the requirement.
BTC AI Assistant · draft mode
Requirement · REQ-4192
When brake_pedal > 80% and vehicle speed > 0, decel_request shall reach at least 6 m/s² within 200 ms.
TC_REQ-4192_01Draft — review
givenspeed = 42 km/h
whenbrake_pedal = 90%
expectdecel_request ≥ 6.0 @ t ≤ 200 ms
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.
Related use cases
Where these tests get used.
Use case
Code Coverage
In BTC TestStack, code coverage is automatically calculated and updated in the background.
Use case
Back-to-Back Test
Back-to-back tests between model and code are highly recommended by the ISO 26262 standard.
Use case
Requirements-Based Testing
Requirements-based testing for Simulink, TargetLink, Embedded Coder, handwritten and AI-generated code.
Use case
Formal Methods
The power of proof for safety-critical systems.
Feel the Quality
Talk to our engineering team.
Tell us where your engineering problem actually is. We'll tell you whether an evaluation license, a workshop, or a conversation is the right next step.