EN 50128 표준의 Compound Condition Coverage 지원

EN 50128 표준을 준수하려면 Compound Condition Coverage를 달성해야 합니다.

• EN 50128는 철도 소프트웨어의 안전 무결성 보장을 위한 표준입니다.
• Compound Condition Coverage는 여러 조건을 논리연산(AND, OR, NOT 등)으로 결합했을 때, 각 조건이 결과에 독립적으로 영향을 미치는 모든 경우를 테스트해야 함을 의미합니다. 즉, 모든 브랜치의 각 컨디션의 모든 조합이 커버되어야 합니다.
  
• EN 50128 표준은 SIL3·SIL4의 테스트 커버리지 수준을 충족하기 위해 Compound Condition Coverage 검증을 강력히 권장합니다. (R=“recommended”, HR=“highly recommended”)
  
  

MC/DC(Modified Condition/Decision Coverage)는 Compound Condition Coverage를 대체할 수 있습니다.

• MC/DC는 Compound Condition Coverage의 충족 여부를 적은 수의 테스트로 증명할 수 있게 해주는 기법이며, Compound Condition Coverage의 평가 기준을 만족합니다.
• 대부분의 커버리지 측정 도구에서는 MC/DC로 Compound Condition Coverage를 대신하고 있습니다.
  

CT 2024.12는 MC/DC(Modified Condition/Decision Coverage)를 지원합니다.

• CT 2024.12를 활용하여 테스트를 수행하면, EN 50128 표준의 Compound Condition Coverage를 만족할 수 있습니다.