Verified Systems
  • Industries ▼
    • Avionics
    • Railway
    • Space
    • Defence
  • Products ▼
    • RT-Tester
    • RT-Tester::Model-Based Testing
    • Code Coverage Branch Monitor
    • Virtual Test Bench
    • Graphical Signal Manipulation Interface
    • Test Engines
  • Services ▼
    • Testing
    • Validation
    • Requirement & Code Review
    • Requirement Engineering
    • Software Engineering
  • Research
  • Company ▼
    • About us
    • Certificates
    • Quality Policy
    • Careers
  • Contact
Hero Image
Contact us

Code Coverage Branch Monitor

CCBM is a powerful cross-platform C code coverage solution that instruments source code, tracks branch execution, visualizes uncovered paths, merges coverage data, and preserves results reliably across embedded and desktop systems.

Full Integrated Development Environment

CCBM is commonly used to support:

  • SWI (Software Integration Testing): verifying interactions between software components, where branch and statement coverage evidence is required.
  • HSI (Hardware/Software Integration Testing): ensuring correct execution on target hardware with traceable coverage evidence.

CCBM’s role is to provide structural coverage evidence (especially branch coverage), which is a key verification objective in industry standards for higher safety integrity levels. This evidence is often required for certification audits to demonstrate that test cases have exercised required control flow paths and that untested code is identified and justified.

Full Integrated Development Environment

CCBM Operational Workflow

CCBM Operational Workflow

CCBM performs a structured, tool-supported workflow to measure and analyze branch coverage in C applications:

  1. Source Code Instrumentation CCBM instruments C source code at branch level by inserting execution markers that track whether specific paths are reached during runtime.

  2. Build and Execution The instrumented code is compiled and executed on the target platform. During execution, coverage events are recorded as branches are taken.

  3. Raw Coverage Collection Execution produces raw coverage data, reflecting which instrumented branches and statements have been exercised.

  4. Coverage Merging CCBM aggregates and merges results from multiple test runs, enabling incremental coverage accumulation across test suites and environments. External formats such as gcov can optionally be integrated.

  5. Source Code Mapping The collected coverage data is mapped back to the original C source code, enabling precise identification of both executed and missed lines or branches.

  6. Reporting and Visualization CCBM generates structured reports and HTML summaries to support analysis, review, and certification evidence.

Showcase

Avionics Application Projects

CCBM has been successfully deployed in multiple safety-critical avionics programs at Level B and Level C, providing certified-grade coverage analysis for structural verification activities. It has been applied across major aircraft families, including Airbus A350XWB, A380, and the A320/A340 families, as well as the IMA OSCM component, supporting rigorous verification in industrial flight software systems.

In academic research, CCBM was also used at the University of Bremen for the analysis of an avionics kernel implementation based on ARINC 653 API, supporting research into partitioned real-time operating systems for safety-critical environments.

Avionics Application Projects
Read More
Get in Touch

Get More Information

Take the next step toward efficient and certification-ready testing. Get in touch to learn more about CCBM, request a demo, or discuss how we can support your projects.

Announcements on new CCBM releases are available via RSS feed RSS Feed Logo. This feed is also used to inform about any serious problems with some released versions.

A complete list of all CCBM related announcements is available here.

Get More Information
Contact us
Verified Systems

Verified Systems International GmbH

Stay Informed LinkedIn

Industries

  • Avionics
  • Railway
  • Space
  • Defence

Products

  • RT-Tester
  • RTT-MBT
  • Test Engines

Legal

  • Contact
  • Career
  • Terms and Conditions
  • Datenschutzerklärung
  • Privacy Policy
  • Impressum

© 2026 Verified Systems International GmbH