ITPE * JackerLab

개요MC/DC(Modified Condition/Decision Coverage)는 항공우주, 자동차, 의료 등 고신뢰 소프트웨어 시스템에서 사용되는 테스트 커버리지 기법입니다. 이는 각 조건이 전체 조건식의 결과에 독립적인 영향을 미치는지를 검증하는 방식으로, 일반적인 조건 커버리지 대비 더 엄격하고 정밀한 테스트 기준을 제공합니다.1. 개념 및 정의 항목 설명 비고 정의MC/DC는 조건/결정 커버리지(C/DC)의 향상된 형태로, 각 조건이 독립적으로 전체 결정에 영향을 미침을 보장DO-178C 등에서 요구목적시스템 논리의 오류를 조기에 탐지하고, 임계 오류 가능성을 줄임안전성 확보 목적필요성고신뢰성 산업군에서의 규제 및 인증 요건 만족항공, 국방, 철도 등MC/DC는 단순히 모든 조건을 참/거짓으..

개요소프트웨어 안전성 분석은 안전이 중요한 분야(항공, 철도, 의료기기, 자동차, 원자력 등)에서 소프트웨어가 인명과 재산에 해를 끼치지 않도록 하기 위해 수행하는 정형적인 분석 과정입니다. 잠재적인 위험 요소를 사전에 식별하고, 그에 따른 영향을 평가하며, 대응 방안을 체계적으로 수립함으로써, 소프트웨어에 대한 신뢰성과 안전성을 확보합니다.1. 개념 및 정의 항목 설명 정의시스템 운용 중 소프트웨어가 인명, 환경, 자산에 영향을 미치는 위험을 분석하고 대응하는 절차목적위험 요소 조기 발견, 사고 예방, 안전성 인증 확보적용 분야자율주행차, 항공/우주, 철도 신호 시스템, 의료기기, 원자력 제어 시스템 등2. 주요 분석 기법기법설명활용 시점FMEA (Failure Mode and Effects Anal..