DO-178C란?

DO-178C에 따른 검증은 소프트웨어가 지정된 요구 사항을 충족하고 의도치 않은 기능을 도입하지 않는지 확인합니다. 이 프로세스에는 다음이 포함됩니다.

1. 요구 사항 기반 테스트:
   • 적절한 테스트 사례 및 절차를 통해 상위 수준 및 하위 수준을 포함한 모든 소프트웨어 요구 사항이 검증되었는지 확인합니다.
   • 소프트웨어가 의도한 기능을 수행하고 예외 상황을 포함한 모든 가능한 시나리오를 처리함을 보여줍니다.
2. 구조적 커버리지 분석:
   • 테스트 중에 모든 코드 구조가 실행되도록 보장하기 위해 더 높은 중요도 수준(A 및 B)에 필요합니다. 여기에는 다음이 포함됩니다.
     • 명세서 적용 범위: 모든 실행문이 테스트됩니다.
     • 의사결정 범위: 코드의 각 결정은 참과 거짓으로 평가됩니다.
     • 수정된 조건/결정 범위(MC/DC): 결정 내의 모든 조건은 결정의 결과에 독립적으로 영향을 미칩니다(레벨 A에 필요).
3. 추적성 요구 사항:
   • 완전하게 유지하다 추적성 요구 사항, 설계, 코드 및 테스트 아티팩트 간에 간격이 없는지 확인하여 검증에 문제가 없는지 확인합니다.
4. 리뷰 및 분석:
   • 오류나 불일치 사항을 식별하기 위해 요구 사항, 설계, 코드 및 테스트 결과에 대한 엄격한 검토를 수행합니다.

검증 및 설계 보증을 위한 모범 사례

검증은 소프트웨어가 의도된 시스템 요구 사항과 사용 사례를 충족하는지 확인합니다. 효과적인 검증과 설계 보증을 달성하려면 다음 모범 사례를 따르세요.

1. 명확한 요구 사항 정의:
   • 요구사항이 명확하게 정의되고, 테스트 가능하며, 추적 가능한지 확인하세요.
2. 증분 개발 구현:
   • 통합하기 전에 반복적인 접근 방식을 사용하여 작은 모듈을 설계하고 테스트함으로써 오류를 최소화합니다.
3. 자동화된 검증 프로세스:
   • 정적 분석, 테스트 사례 생성, 구조적 커버리지 분석과 같은 작업에 DO-178C 인증 도구를 활용하여 효율성을 향상합니다.
4. 독립 리뷰:
   • 편견 없는 평가를 보장하기 위해 요구 사항, 설계 및 코드 검토를 위해 독립적인 팀을 활용하세요.
5. 조기 검증 계획:
   • 소프트웨어 수명 주기 초기에 요구 사항과 설계를 검증하면 이후 단계에서 비용이 많이 드는 재작업을 줄일 수 있습니다.
6. 포괄적인 테스트 범위:
   • 모든 기능, 성능, 안전 관련 시나리오를 처리할 수 있는 테스트 사례를 설계하여 견고한 검증을 보장합니다.
7. 엄격한 문서 유지:
   • 테스트 계획, 테스트 절차, 결과를 포함한 모든 검증 및 검증 활동을 인증 증거의 일부로 문서화합니다.

DO-178C의 검증 및 검증 요구 사항과 모범 사례를 준수함으로써 조직은 항공전자 소프트웨어 시스템의 안전성, 신뢰성 및 규정 준수를 보장할 수 있습니다.