16. 검증 프로세스 (Section 6.2)

앞서 검증 프로세스(Verification Process)가 요구사항을 만족하는지에 대한 확인이라고 설명한 바가 있다. DO-254 가이드라인에서 설명하는 내용을 통해서 다시 한 번 확인해 보자.

 

 

해석을 보자.

 

검증 프로세스는 하드웨어 아이템 구현이 요구사항을 만족한다는 것에 대한 보장을 제공한다. 검증 검증계획에 정의된 대로 적용된 리뷰, 분석 그리고 시험으로 구성되어 있다. 검증 프로세스는 결과의 평가를 포함해야 한다.

 

위의 설명 중간에 나오는 검증계획(Verification Plan)에 대해서는 추후 다른 절에서 구체적으로 확인해 볼 예정이다. 일단 검증계획이 먼저 작성되고 그렇게 작성된 내용에 따라서 요구사항을 만족하는 지를 리뷰, 분석 혹은 시험으로 확인해서 검증(Verification)결과를 얻게 된다.

 

참고로 DO-254에서 이야기하는 하드웨어 검증 프로세스에는 우리가 검증이라고 하면 자연스럽게 떠올리게 되는 통합 시험과 관련된 내용은 포함되지 않는다. 즉 소프트웨어 시험, 소프트웨어/하드웨어 통합 시험 그리고 시스템 통합 시험은 이번 절과는 관련이 없다는 뜻이다. 그 부분에 대한 설명을 이렇게 하고 있다.

 

 

해석을 보자.

 

소프트웨어 검증, 소프트웨어/하드웨어 통합 검증 그리고 시스템 통합 검증 프로세스는 여기에서 설명되지 않는다. 그러나 이러한 프로세스 과정에서의 하드웨어 요구사항에 대한 검증은 하드웨어 검증의 유효한 방법이다.

 

위의 설명이 의미하는 것은 비록 하드웨어 검증으로 명시적으로 지정되지 않더라도 다른 프로세스 즉, 소프트웨어 검증, 소프트웨어/하드웨어 통합 검증, 그리고 시스템 통합 검증 과정에서 하드웨어 검증이 가능하다는 것을 말하는 것이다. 하드웨어 개발의 특성 상 이는 어쩌면 필수적인 부분이 아닐까 싶다.

 

그런 관점을 보여주는 또 다른 설명이 있다.

 

 

해석을 보자.

 

Note 2: 문서화된 검증 프로세스 이외의 비공식 시험이 추천된다. 하지만 절차와 결과가 형상 관리 컨트롤하에 유지될 필요는 없으며 그러나 설계 프로세스에서 일찍 설계 에러의 검출과 제거에 상당히 효과적이다. 이 시험에 대한 검증 보장은 공식화된 경우에만 얻을 수 있다.

 

한마디로 하드웨어 설계 오류를 잡기 위한 ‘비공식’ 시험을 추천하는 것이다. 비공식 시험인만큼 비록 시험 결과에 대해서 공인받을 수는 없기 때문에 산출물을 형상관리 형태로 보관할 필요는 없다고 말하고 있는데 이는 반대로 어떤 시험이든 그것을 공식화하고 시험 절차와 결과가 형상관리되는 경우 그 시험을 공식적으로 인정할 수 있다는 의미가 된다. DO-254 가이드라인에서는 이처럼 다양한 검증 활동을 추천하고 있다.

 

이제 검증 프로세스의 목표(Objectives)와 활동(Activities)에 대해서 알아보자.

 

16.1. 검증 프로세스 목표(Objectives)

 

먼저 검증 프로세스의 목표(Objectives)이다.

 

 

해석을 보자.

 

1. 하드웨어 구현이 요구사항을 만족한다는 증빙을 제공한다. 2. 하드웨어 요구사항, 구현, 그리고 검증 절차와 결과 사이의 추적성이 만들어진다. 3. 수락시험 기준이 식별되고 구현될 수 있으며 하드웨어 기능의 하드웨어 설계 보증 레벨과 일치할 수 있다. 4. 누락과 에러가 해결을 위해서 적절한 프로세스로 피드백된다.

 

위의 항목 중 3번에 나오는 ‘하드웨어 설계 보증 레벨(Hardware Design Assurance Level)과 일치’라는 것은 결론적으로 DO-254 가이드라인에서 제시되는 목표(Objectives)와 활동(Activities)을 모두 준수한다는 것을 말한다. 여기서 하드웨어 설계 보증 레벨에 대해서는 아래의 표를 통해서 확인할 수 있다.

 

참고로 레벨 A와 B의 경우는 DO-254 가이드라인의 부록(Appendix) B에서 추가로 요구하는 부분이 있기 때문에 그 부분까지 준수해야 한다는 점을 기억하자. 이에 대해서는 별도의 절을 통해서 자세히 설명할 예정이다.

 

16.2. 검증 프로세스 활동(Activities)

 

검증(Verification)을 위한 활동(Activities) 역시 확인(Validation)과 마찬가지로 리뷰, 분석, 시험 등의 다양한 방법이 사용될 수 있다. 그리고 확인(Validation)과 마찬가지로 미리 계획이 작성되어야 한다. 검증 프로세스의 활동에 대해서 DO-254 가이드라인에서는 다음과 같이 6가지를 제시하고 있다.

 

① 검증이 필요한 요구사항의 식별
여기에서의 식별은 특정 단계만으로 제한되는 것은 아니며 상위레벨도 가능

② 검증 방법의 선택과 수행: 시험, 시뮬레이션, 프로토타이핑, 분석, 리뷰 등

③ 요구사항, 구현, 그리고 검증 절차와 결과 사이의 추적성 생성
레지스터, 커패시터 혹은 게이트와 같은 수준까지 요구하는 것은 아님

④ 검증 커버리지 분석 수행
a. 각각의 요구사항이 리뷰, 분석 혹은 시험을 통해서 적절한 계층 레벨에서 확인됨
b. a에서의 방법이 적절함: 특히 안전성 요구사항 관점에서
c. 차이점이 있다면 설명될 수 있어야 함

⑤ 검증 활동 결과의 문서화

⑥ 누락 및 에러의 해결을 위해 적절한 프로세스로 피드백

 

하드웨어의 검증은 검증 방법의 선정이나 검증을 수행하는 계층에 있어서 상대적으로 유연함을 보여주고 있다. 이는 소프트웨어에 대한 DO-178 가이드라인과 비교해보면 상당히 두드러지는 특징이다. 이런 부분 역시 DO-254 가이드라인이 DO-178을 그대로 가져온 것이 아니라 하드웨어 개발의 특성을 반영해서 작성된 지침이라는 것을 보여주는 부분이다.