Compound Condition Coverage Support for EN 50128 Compliance

Compliance with EN 50128 requires achieving Compound Condition Coverage.

• EN 50128 is a standard that ensures safety integrity for railway software systems.
• Compound Condition Coverage requires testing all logical combinations of conditions (e.g., AND, OR, NOT), ensuring each condition independently influences the outcome. This includes verifying every combination of conditions for all branches.
  
• For SIL3 and SIL4 testing, EN 50128 strongly recommends verifying Compound Condition Coverage. (R=“recommended”, HR=“highly recommended”)
  
  

MC/DC(Modified Condition/Decision Coverage) can substitute Compound Condition Coverage.

• MC/DC is an efficient method to achieve Compound Condition Coverage using fewer test cases while meeting its requirements.
• Most coverage analysis tools rely on MC/DC to validate Compound Condition Coverage.
  

CT 2024.12 supports MC/DC to satisfy EN 50128 requirements.

• Therefore, testing with CT 2024.12 ensures compliance with EN 50128 Compound Condition Coverage requirements.