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

CCBM 5.6.1 now available (maintenance)

A maintenance release is now available.
Consider updating if you are using Version 5.6.0 or older.

2016-08-10

Improvements

  1. ccbm_prep (asts-ccbm-prepare-file) behaviour:

    • (preventive) designated (compound) initialisers are now skipped rather than parsed, since they are not subject to CCBM-markers (implements #8718)

    • (robustness) cleaned up memory leaks (only relevant when processing very large files)

  2. asts-ccbm-create-call:

    • robustness: when generating CCBM_call.h, add temporary declaration of NULL (if not present)
  3. Coverage Post-Processing (ccbm_mco):

    • added ‘/*$$$ BEGIN SPECIAL:’ and ‘/*$$$ END SPECIAL:’ as sequence that is marked as excluded for coverage summary

Bugfixes

  1. ccbm_prep (asts-ccbm-prepare-file) behaviour:

    • removed wrong assumption that DIR_PROJECT is already defined (fixes PR #13448)

    • added support for empty initialisers (fixes #13845)

    • added conditional expression in initialisers (fixes #13954)

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