26. 시험 관련 소프트웨어 라이프 사이클 데이터 – SVCP / SVR

앞서 DO-178의 소프트웨어 검증과 관련한 SVP(Software Verification Plan)에 대해서 알아본 바가 있다. 그와 관련된 소프트웨어 라이프 사이클 데이터로 SVCP와 SVR이 있다.

 

(1)    SVCP(Software Verification Cases and Procedures) (Section 11.13)

 

SVCP는 시험 케이스와 절차를 기술하는 문서이다. 앞서 SVP라는 일종의 시험 계획 문서를 설명한 바가 있지만 SVP가 시험 전반에 대한 계획을 기술한다면 SVCP는 구체적인 시험 방법을 기술하는 것이다. 여기에는 다음과 같은 내용이 포함되어야 한다.

 

a.      리뷰와 분석 절차: SVP에 작성된 설명에 추가해서 리뷰 혹은 분석 방법의 범위와 깊이

b.     시험 케이스: 요구되는 커버리지 기준을 얻기 위한 각 시험케이스의 목적, 입력 세트, 조건, 예상 결과, 그리고 통과/실패 기준

c.      시험 절차: 각 시험 케이스의 셋업 및 수행방법에 대한 단계별 명령, 시험 결과를 평가하는 방법, 사용되는 시험 환경

 

위의 내용을 보면 일반적인 시험 절차서와 다를 바가 없다는 것을 알 수 있다. 참고로 SVCP의 각각의 시험 케이스와 시험 절차는 시험 대상이 되는 요구사항과의 추적성이 반드시 연결되어야 한다는 점을 기억하자.

 

(2)    SVR(Software Verification Results) (Section 11.14)

 

SVCP가 작성되면 그에 따라서 실제 시험이 이루어 지게 된다. 그리고 그 결과는 SVR(Software Verification Results)이라는 문서로 작성된다. 소프트웨어 개발에서 흔히 사용하는 시험결과서와 같다. 여기에는 다음과 같은 내용이 포함되어야 한다.

 

a.      리뷰, 분석, 그리고 시험에 대해서 그 활동과정에서의 통과 혹은 실패한 각각의 절차, 그리고 최종 통과/실패 결과를 지시

b.     리뷰되고, 분석되고, 혹은 시험된 형상 아이템 혹은 소프트웨어 버전을 구분

c.      커버리지 분석과 추적성 분석을 포함해서 시험, 리뷰, 그리고 분석의 결과를 포함

 

DO-178 인증을 위해서는 기본적으로 요구사항에 대한 시험 자체가 수행되는 것도 중요하지만 그와 함께 요구사항 기반의 시험을 포함한 전체 시험을 통해서 소프트웨어 레벨에 맞는 커버리지를 만족하는 것 또한 상당히 중요하다. 그리고 그 결과를 SVR에 작성해야 한다. 또한 그 과정과 결과에서 요구사항으로부터 소스코드, 시험결과에 이르는 모든 추적성이 완벽하다는 것을 보여줄 수 있어야 한다. 실제로 DO-178 인증을 위한 시험단계를 수행해 보면 요구사항에 대한 시험보다도 오히려 커버리지 결과를 만족하기 위한 시험에 더 많은 시간이 소요되기도 한다.