BTC TestStack · für VS Code

C/C++ sicherheitsgerecht testen – direkt in Ihrer IDE.

Von der Einrichtung bis zum Ergebnis in wenigen Minuten.

Evaluierungslizenz anfordern

⌕ motor_control

Visual Studio Code

214static bool handle_overcurrent(void)

215{

216if (current_mA > MOTOR_MAX_CURRENT_MA)

217{

219fault_status.overcurrent = true;

220motor_set_state(MOTOR_STATE_FAULT);

221log_event(EVENT_OVERCURRENT_FAULT);

223return true;

224}

225return false;

BTC TestStack

Coverage summary

98%MC/DC

98%Branch

98%Statement

Test cases · 12/12 passed

✓ TC_MOTOR_001 · Overcurrent detection✓ TC_MOTOR_002 · Speed command validation

Traceability

REQ-SAF-0042Covered by 3 test cases

GCC & MSVC · Windows & LinuxPowered by BTC QCore

Die Herausforderung

Professionelles Testen sollte nicht bedeuten, dass Sie Ihren Editor verlassen müssen.

Entwickler tragen heute die Verantwortung für Qualität. Die Tools, mit denen sie diese Qualität nachweisen können, sind ihnen jedoch nicht in die IDE gefolgt. Drei Lücken zeigen sich dabei täglich.

Tests und Code befinden sich in getrennten Tools

Für jede Codeabdeckungsprüfung, jede Aktualisierung der Rückverfolgbarkeit und jedes Ergebnis-Review müssen Sie VS Code verlassen, sich mit einer gcov/lcov/gcovr-Toolchain auseinandersetzen und anschließend Ihre Stelle im Code wiederfinden. Testen wird so zu einer separaten Aufgabe, statt Teil der Codeentwicklung zu sein.

Feedback kommt zu spät und verursacht höhere Kosten

Fehler lassen sich in dem Moment am kostengünstigsten beheben, in dem sie entstehen. Das Feedback kommt jedoch oft erst Tage später – in einem QA-Zyklus oder einem Nightly Build. Wenn KI C/C++ schneller schreibt, als Menschen den Code prüfen können, wird diese Lücke noch größer.

Zahlen allein ergeben keinen Safety Case

gcov, lcov und gcovr liefern Codeabdeckungswerte, aber keine Toolqualifizierungsnachweise für ISO 26262. Fünf miteinander verbundene Open-Source-Tools ergeben eine nicht validierte Toolchain, die bei Line und Branch Coverage endet – ohne Condition Coverage und ohne MC/DC.

Die Lösung

Nativ, qualifiziert, in wenigen Minuten einsatzbereit.

Professionelle C/C++-Tests dort, wo Sie bereits arbeiten – mit einem qualifizierten Prozess hinter jedem Ergebnis.

Im Editor

Alles läuft im Editor

Codeabdeckung und Stubbing mit einem Klick, Live-Hervorhebung im Editor und Debugging – direkt aus VS Code heraus, ohne separates Tool und ohne separaten Lauf.

Sofortiges Feedback

Feedback, sobald Sie den Code schreiben

Ergebnisse zu Codeabdeckung und Robustheit erscheinen während der Arbeit im Editor, ohne dass eine Build-Konfiguration gepflegt werden muss. Dieselben Tests gehen direkt in CI über.

Qualifizierter Prozess

Ein qualifizierter Prozess hinter jedem Ergebnis

Codeabdeckung von Anweisungen bis MC/DC, eine automatisch erzeugte Rückverfolgbarkeitsmatrix und Ergebnisse, die in Ihr Anforderungsmanagement-Tool zurückgeschrieben werden.

Schlüsselfunktionen

Alles, was Tests auf Unit- und Integrationsebene benötigen – an einem Ort.

Sechs Funktionen, ein Client, kein Wechsel aus dem Editor.

Requirement ↔ test traceabilitySource: Polarion

REQ_SHC-76 · CondCheckOK

└─✓Test_CheckConditions_ReturnsTrue

REQ_SHC-77 · Stage 2PENDING

└─?Test_CyclesThroughAllStagesImpacted by change

REQ_SHC-78 · Stage 3OK

└─✓Test_StageThreeTransition

Anforderungen01

Anforderungsbasiertes Testen

Importieren und verknüpfen Sie Anforderungen und schreiben Sie Testergebnisse anschließend in VS Code zurück. Die Anbindung an DOORS, Polarion, Jama, codeBeamer und SystemWeaver sorgt dafür, dass Änderungen an Anforderungen unmittelbar an die verknüpften Tests weitergegeben werden.

Test explorer

✓ Test_CheckConditions_ReturnsTrue✓ Test_CheckConditions_ReturnsFalse× Test_Controller_CyclesThroughAllStages

Statement72%

Decision61%

MC/DC48%

65heatingCoil = high;

66leds[0] = 1;

67leds[1] = 1;

68leds[2] = 1;

70} else if (state.temperatureStage == 2) {

76}

Abdeckung02

Codeabdeckungsanalyse

Anweisungs-, Entscheidungs-, Bedingungs-, MC/DC-, Funktions-, Relationsoperator- und Switch-Case-Abdeckung mit einem Klick – direkt im Editor hervorgehoben und bis auf Zeilen- und Testebene untersuchbar.

Interfaces · seat_heating_controller● Apply auto-stub

SymbolCategoryStub mode

TemperatureParamsGlobal variable—

stateStatic variable—

check_conditions(…)Sub-functionReal, no check

request_power(…)Sub-functionReal, no check

bool getButtonPressed()External functionLink stub

Stubbing03

Stubbing und Mocking

Fehlende Funktionen und Variablen werden automatisch mit einem Stub versehen, und jeder Stub kann angepasst werden, um das Verhalten zu modellieren, das ein Test benötigt.

motor_control.cpp

214static void handle_overcurrent(void)

215{

216if (current_mA > MOTOR_MAX_CURRENT_MA)

217{

219fault_status.overcurrent = true;

220motor_set_state(MOTOR_STATE_FAULT);

224}

Now covered by this debug run

Call stack

handle_overcurrent()motor_control_step()main()

Variables

current_mA 185MOTOR_MAX_CURRENT_MA 150fault_status.overcurrent true

Step overContinue

Debugging04

Debugging

Setzen Sie Breakpoints und debuggen Sie den Code schrittweise in VS Code, während die Codeabdeckungsinformationen direkt daneben sichtbar bleiben.

Test resultsRequirements 2Code analysis 74%

Test results

8/12 passed · 66.6%

Coverage

74%

Test nameRequirementResult

Test_CheckConditions_ReturnsTrueREQ_SHC-76Passed

Test_CyclesThroughAllStagesREQ_SHC-77Failed

Berichte05

Testberichte

HTML-Berichte mit Testergebnissen, Codeabdeckungswerten und Verhaltensdiagrammen – bereit für ein Review oder den Safety Case.

AUTOSAR ClassicSeatHeatingComponentSender-Receiver · Classic Platform

SeatTemp_degCHeaterDuty_pctSetOccupied : boolTargetStage : uint8

AUTOSAR AdaptiveSeatHeatingAppService-oriented · Adaptive Platform

DiagnosticServiceSeatHeatingServiceStatusChanged : eventCurrentLevel : field

Architekturen06

Testarchitekturen und Sprachen

Reines C und C++, AUTOSAR Classic und AUTOSAR Adaptive – mit automatischer Generierung von RTE- oder ara::com-Stub- und Harness-Code.

KI- und Agenten-Workflows

KI schreibt den Code. BTC TestStack weist nach, dass er funktioniert.

Von Grund auf deterministisch

Codegenerierung und Verifikation bleiben zwei eigenständige Disziplinen.

Die Model-Checking- und Codeabdeckungs-Engines von BTC TestStack arbeiten deterministisch – unabhängig davon, ob der zu testende Code von Hand geschrieben oder von einem KI-Assistenten vorgeschlagen wurde. Entwickelt für GitHub Copilot, über einen BTC MCP-Server für jeden Agenten verfügbar und offen für das Modell, das Ihr Team bereits einsetzt.

generate_stub() → done

coverage_analyze() → 92% MC/DC

verify_proof_property() → proven

Hauptvorteile

Was sich am ersten Tag ändert.

Live-Codeabdeckung mit einem Klick

Die Codeabdeckung wird bereits beim Schreiben im Editor angezeigt, statt gcov/lcov/gcovr erst im Nachhinein manuell auszuführen.

Kein zusätzlicher Einrichtungsaufwand

Kein zu pflegendes Build-Verzeichnis, kein zielspezifisches Scripting. In wenigen Minuten einsatzbereit, nicht erst nach Tagen.

Integrierte Rückverfolgbarkeitsmatrix

Wird automatisch generiert, wenn Anforderungen verknüpft werden – nicht mit benutzerdefinierten Skripten zusammengefügt.

Ein qualifizierter Prozess statt eines Tool-Flickenteppichs

Hinter jedem Ergebnis steht ein qualifizierter Prozess – kein Flickenteppich aus fünf Open-Source-Tools.

Nachweis

Toolqualifiziert und zertifiziert. Unterlagen kostenlos bereitgestellt.

Toolqualifizierter Prozess bis MC/DC

Jede von BTC TestStack ausgewiesene Codeabdeckungsmetrik – einschließlich Modified Condition/Decision Coverage – basiert auf einem qualifizierten Toolprozess und ist nicht nur eine Zahl.

TÜV SÜD · nach ISO 26262 bis ASIL D zertifiziert

Dieselbe TÜV SÜD-Zertifizierung deckt auch IEC 61508-3, ISO 25119, IEC 62304 und EN 50716 ab. Die zugehörigen Unterlagen werden mit jeder Lizenz kostenlos bereitgestellt.

GCC und MSVC, unter Windows und Linux

BTC TestStack unterstützt GCC- und MSVC-Toolchains unter Windows und Linux.

Zertifiziert

BTC TestStack

ist nach ISO 26262 zertifiziert

Das Zertifikat bezieht sich auf Normen zur funktionalen Sicherheit in mehreren Branchen:

ISO 26262

Automobilindustrie

IEC 61508-3:2010

Industrielle und branchenübergreifende funktionale Sicherheit

ISO 25119

Land- und forstwirtschaftliche Maschinen

IEC 62304

Medizinproduktesoftware

EN 50716

Bahnanwendungen

Für ISO 26262 ist BTC TestStack auf dem höchsten Tool Confidence Level (TCL) zertifiziert; die Zertifizierung gilt für alle ASIL-Level einschließlich ASIL D. Zertifikat und Bericht stellen wir Kunden auf Anfrage kostenlos zur Verfügung und ersparen ihnen damit den größten Teil des Aufwands für die Toolqualifizierung.

Weitere Umgebungen entdecken

Ein BTC TestStack, mehrere Zugänge.

Derselbe zertifizierte BTC TestStack bietet weitere Zugänge und deckt die folgenden Anwendungsfälle ab.

Modellbasiert

BTC TestStack × Simulink

Testen Sie Modell und generierten Code in einem gemeinsamen Workflow – nativ in Simulink.

Skalierbar

BTC TestStack × Cloud

Führen Sie Test- und Verifikations-Workloads browserbasiert im Maßstab Ihrer Pipeline aus.

Zentrale Use CasesCodeabdeckungsanalyse Anforderungsbasiertes Testen Formale Verifikation

Feel the Quality

Fordern Sie eine Evaluierungslizenz an.

Enthalten ist ein zweistündiger Onboarding-Workshop mit unseren Engineers, in dem wir BTC TestStack anhand Ihres eigenen C/C++-Codes vollständig einrichten.

Evaluierungslizenz anfordern Demo buchen