시스템 검증하기

Requirements Portal에서 요구사항은 하나 이상의 시스템 또는 서브시스템에 연결됩니다. 이러한 시스템은 검증 및 확인(Verifications and Validations, V&V) 활동을 통해 검증됩니다. 하나의 블록(Block) 요구사항은 단일 또는 여러 V&V 활동으로 검증할 수 있습니다. 각 활동은 하나 또는 여러 요구사항에 연결될 수 있으며, 하나 이상의 시스템을 검증할 수 있습니다.

이 튜토리얼의 이 부분에서는 Requirements Portal을 사용하여 V&V 활동을 수행하는 방법을 다루고, 다음 내용을 설명합니다:

• V&V 활동을 생성하는 방법.

• V&V 활동을 요구사항에 연결하는 방법.

• 활동을 실행하는 방법.

• Requirements Portal의 자동 검증 방법을 시연합니다.

검증을 위한 뷰(View) 생성 및 로드

Requirements Portal은 Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags, Properties 등 다양한 사전 선택 속성을 제공합니다. 하지만 화면이 작은 경우 가로 스크롤이 과도하게 발생할 수 있습니다. 검증(Verification) 프로세스를 간소화하기 위해 필수 속성만 포함한 사용자 정의 뷰를 생성할 수 있습니다. 이제 검증을 위한 새 뷰를 만들고 로드해 보겠습니다.

1. Fan_Spec specification을 엽니다(프로젝트 트리의 Requirements 항목 아래).

2. 아무 열 헤더 위에 커서를 올리고, 나타나는 아이콘을 클릭한 다음, 아이콘을 클릭하여 사용 가능한 열 목록을 표시합니다.

   

3. 목록에서 모든 열 선택을 해제하고, 다음 열만 선택합니다:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   오른쪽에서 열 수 있는 Columns 창(pane)을 통해서도 속성을 선택/해제할 수 있습니다. 여기서는 열 헤더에서 사용할 수 있는 필터 및 테이블 크기 조정 옵션 같은 추가 기능도 함께 인지할 수 있도록 이 방법을 보여줍니다. 예를 들어 아이콘은 특정 열에 대한 필터링 옵션을 제공합니다.

4. 테이블에서 마우스 오른쪽 버튼을 클릭하고 컨텍스트 메뉴에서 Save view 명령을 선택합니다. 열리는 Save current view 창에서 View name로 Verification_View을(를) 입력하고, Private을(를) 선택한 다음 을(를) 클릭합니다.

   

   선택한 모든 열, 열 너비, 적용된 필터는 전용 뷰에 저장됩니다. 뷰가 저장되면 테이블에서 마우스 오른쪽 버튼을 클릭하고 Load View 하위 메뉴에서 해당 항목을 선택하여 로드할 수 있습니다.

요구사항에 Verification & Validation 활동 추가

Requirements Portal은 요구사항의 검증 및 확인을 위해 전용 열 3개를 제공합니다(또한 Compliance, Compliance Comment 같은 추가 열이나, 검증 활동과 관련된 사용자 정의 열도 있을 수 있습니다):

• V&V Activities – 요구사항에 연결된 V&V 활동을 표시합니다.

• V&V Status – 요구사항 검증의 전체 상태를 나타냅니다.

• V&V Rules – 요구사항과 Blocks Module 간의 vali 비교를 기반으로 한 자동 검증입니다.

1. 프로젝트 트리에서 Verifications & Validations 항목을 확장하고 Activities을(를) 선택합니다.

2. 버튼을 클릭합니다. 열리는 Create V&V Activity 창에서 Name 필드에 Mass Inspection을(를) 입력하고 Description 필드에 This activity measures the mass of the Valifan.을(를) 입력한 다음 을(를) 클릭합니다.

   

3. 이제 Requirements Module의 요구사항 중 하나에 새 활동을 연결하겠습니다. Name 열에서 활동 이름을 클릭한 다음, 페이지 상단의 Requirements Statuses 컨트롤을 클릭합니다.

   

4. 왼쪽 상단의 버튼을 클릭합니다. 열리는 Link Requirement 창에서 Requirement 드롭다운에서 R-Fan-001을(를) 선택하고, Block 드롭다운에서 Valifan을(를) 선택한 다음 을(를) 클릭합니다.

   

5. 활동 지침에 따라 대량 검사(mass inspection)를 수행했다고 가정하고, 이제 검증 상태를 Verified로 설정하겠습니다. 이를 위해 Status 열의 셀을 더블클릭하고 드롭다운에서 Verified을(를) 선택합니다.

   

이로써 수동 검증 활동을 성공적으로 생성했습니다. 이제 블록 vali를 요구사항 vali와 대조하는 자동 검증을 요구사항에 적용하는 방법을 살펴보겠습니다.

규칙을 사용하여 시스템을 자동으로 검증하기

1. Fan_Spec specification을 엽니다(프로젝트 트리의 Requirements 항목 아래).

2. R-Fan-001 요구사항에 대해 Text 열의 300 g vali 위에 커서를 올리고, 팝업에서 이름을 확인합니다. 이 이름은 Blocks Module의 vali와 이 vali를 비교하는 규칙을 만들 때 사용됩니다.

   

   요구사항의 vali는 팝업에서 아이콘을 클릭하여 편집할 수 있습니다. 이름, 마진(margins) 등과 같은 파라미터를 조정할 수 있습니다.

3. R-Fan-001 요구사항의 V&V Rules 열 셀을 더블클릭합니다. V&V Rules 창이 열리며, 여기서 요구사항의 Valifan mass 300 g을 Blocks Module의 Valifan 시스템의 mass vali와 비교하는 규칙을 정의할 수 있습니다. $ 기호를 사용해 vali를 참조합니다. 나타나는 팝업에서 이름을 입력해 vali를 검색할 수 있습니다. 규칙을 다음과 같이 정의합니다:

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

   Requirements Portal이 텍스트 박스 아래에 실제로 연결된 값을 가져오는 것을 확인하세요.

   

4. V&V Rules 창에서 버튼을 클릭한 다음 창을 닫습니다. 테이블에서 이제 요구사항에 연결된 규칙 1개(Verified 상태)가 보이며, V&V status는 총 2/2가 됩니다(이전에 mass inspection 활동도 Verified로 설정했기 때문입니다).

   

다음 단계는?

축하합니다. 이제 Requirements Portal을 능숙하게 사용할 수 있습니다!

데스크톱 팬 프로젝트를 계속 개선해 보세요. 다음은 몇 가지 아이디어입니다:

• 요구사항에 Compliance를 추가합니다.

• 요구사항 간에 몇 가지 부모/자식 관계를 추가하고, connections graph를 확인한 다음 요구사항에 표시되는 색상 코드를 살펴보세요.

• 팬을 휴대 가능하게 만들기 위해 태양광 패널 블록을 추가합니다. 태양광 패널의 태양 입사각(sun angle)에 따라 최대 회전 속도가 달라지도록 만들 수 있습니다.