IEC 61508은 전기, 전자 및 프로그래머블 전자 시스템의 기능 안전 표준으로, Part 3에서는 소프트웨어를 중점적으로 다룹니다. 산업 자동화, 공정 제어, 로보틱스 및 중장비 분야의 개발팀은 IEC 61508 또는 이를 기반으로 하는 산업별 표준에 따라 제품을 개발합니다. 이 백서에서는 Part 3의 검증 및 유효성 확인 활동과 Annex A 및 B에 제시된 기법의 연관성을 살펴보고, 각 SIL 등급에 적용되는 기법을 제시합니다. 또한 테스트 자동화를 통해 검증 근거를 마련하는 데 필요한 작업 부담을 줄일 수 있는 부분을 설명합니다.
SIL 등급이 높아질수록 강화되는 커버리지 요구사항
Part 3에서는 SIL 1의 진입점 커버리지부터 SIL 4의 MC/DC까지, 각 SIL 등급에서 적극 권장되는 커버리지 유형을 제시합니다. 이 백서에서는 각 커버리지 유형을 설명하고, 하나의 조건문 예제를 통해 구문, 분기 및 MC/DC 커버리지에서 요구되는 사항을 살펴봅니다. 또한 코드에서 생성된 진리표를 활용하여 MC/DC에 필요한 테스트 쌍을 식별하는 방법을 보여줍니다.
설치는 줄이고, 테스트는 늘리세요.
이 백서에서는 단위 테스트 과정에서 테스트 자동화를 통해 시간을 절감할 수 있는 부분을 설명합니다. 각 테스트 설정, 실제 하드웨어에서의 테스트 실행, 코드 변경 시 전체 테스트 재실행 등의 작업을 자동화하여 테스트에 소요되는 시간을 줄일 수 있습니다.
하네스 구축
이 도구는 아직 존재하지 않는 코드에 대한 테스트 드라이버와 스텁을 생성하므로, 사용자가 직접 하네스 코드를 작성하지 않고도 각 유닛을 개별적으로 테스트할 수 있습니다.
코드가 실행되는 환경에서 테스트 실행
런타임 지원 패키지를 사용하여 호스트, 시뮬레이터 또는 대상 보드에서 테스트를 실행합니다.
추적 및 재실행
요구사항 게이트웨이는 요구사항을 테스트 케이스와 연결하며, 코드가 변경되면 전체 회귀 테스트 모음이 다시 실행됩니다.
VectorCAST는 IEC 61508에 대해 TÜV SÜD 인증을 획득했습니다.
Part 3에서는 공식 인증이나 실제 사용을 통해 확보한 신뢰도를 바탕으로 사용 도구의 신뢰성을 어떻게 입증하는지 요구합니다. 인증된 도구는 규정 준수에 필요한 문서를 함께 제공합니다:
- TÜV SÜD 인증서
- 도구 운영 요구사항
- 도구 적격성 데이터
- IEC 61508 기준에 따른 적합성 분석
백서 다운로드
SIL별 전체 등급 확인하기
임베디드 개발자, 시험 기술자 및 기능 안전 책임자를 대상으로 작성된 이 백서는 동적 분석, 블랙박스 테스트, 추적성, 영향 분석을 포함하여 제3부에 소개된 11가지 소프트웨어 검증 기법을 모두 포함합니다.
- SIL별 소프트웨어 검증, 동적 분석 및 블랙박스 테스트
- 경계값 분석, 동등류, 오류 시딩
- 코드에서 생성된 MC/DC 진리표
