[품질경영] 소프트웨어 검정과 IEC 61508

1. 소프트웨어 검정의 개념

소프트웨어 검정은 소프트웨어의 품질과 신뢰성을 보장하기 위해 수행되는 일련의 검증 활동을 의미한다. 이는 소프트웨어가 요구되는 사양을 충족하는지 여부를 확인하고, 결함이나 오류를 조기에 발견하여 수정하는 과정을 포함한다. 특히 안전-critical 시스템에서는 검정의 중요성이 매우 크다. 예를 들어, 항공기, 의료기기, 원자력 설비 등에서는 소프트웨어 결함이 치명적인 결과를 초래할 수 있기 때문에 검정을 통해 잠재적 위험 요소를 제거하는 것이 필수적이다. 소프트웨어 검정은 주로 검증(Verification)과 검증(Validation)으로 구분되는데, 검증은 소프트웨어가 설계 사양과 일치하는지 확인하는 과정을 말하며, 검증은 완성된 소프트웨어가 사용자 요구와 목적에 부합하는지 확인하는 절차이다. 이 과정에서는 테스트(testing), 정적 분석(static analysis), 정리(Formal methods) 등이 활용되며, 특히 테스트는 전체 테스트 케이스의 30~50%를 차지하는 핵심 활동이다. 통계에 따르면, 소프트웨어 결함으로 인한 사고율은 전체 사고의 약 70% 정도를 차지하며, 이 중 절반 이상이 테스트 미비로 인해 발견되지 않는 경우가 많…