ITPE * JackerLab

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

개요소프트웨어 품질 인증은 제품 또는 서비스가 일정 수준 이상의 품질을 갖추고 있음을 제3자가 공식적으로 검증하고 보증하는 제도이다. 기능적 정확성뿐 아니라 안정성, 보안성, 사용성, 유지보수성 등 다양한 품질 요소를 객관적인 기준에 따라 평가한다. 품질 인증은 고객 신뢰 확보, 시장 진입 장벽 해소, 프로젝트 리스크 최소화 등에서 중요한 역할을 한다.1. 개념 및 정의소프트웨어 품질 인증은 국제 또는 국가 기준에 따라 소프트웨어의 개발, 운영, 관리 프로세스와 산출물의 품질 수준을 검증받는 제도이다.목적: 품질 신뢰성 확보 및 소프트웨어 제품 경쟁력 제고기준: ISO/IEC 25010, ISO 9001, SPICE(ISO/IEC 15504), GS 인증 등유형: 제품 인증, 프로세스 인증, 프로젝트 단..

개요IEEE 1012는 소프트웨어와 시스템의 검증(Verification) 및 밸리데이션(Validation, 이하 V&V)을 위한 국제 표준입니다. 이 표준은 소프트웨어가 요구사항을 충족하는지 확인하고, 의도한 목적에 맞게 작동하는지 검증하는 체계적인 접근을 제공합니다. 특히 고신뢰성이 요구되는 산업(항공, 의료, 방산, 금융 등)에서 널리 활용되며, 프로젝트의 생명주기 전반에 걸쳐 V&V 활동을 통합함으로써 품질과 안전성, 규제 준수 확보에 중요한 역할을 합니다.1. 개념 및 정의IEEE 1012란?IEEE 1012는 소프트웨어 및 시스템 개발 생명주기 동안 수행되는 검증 및 밸리데이션 활동에 대한 표준으로, V&V의 범위, 계획, 절차 및 책임을 명확하게 정의합니다. 개념 설명 검증(Verific..