시스템 검증하기

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

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

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

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

• 활동을 실행하는 방법.

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

검증을 위한 뷰 생성 및 로드

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는 팝업에서 아이콘을 클릭하여 편집할 수 있습니다. 이름, 마진 등과 같은 파라미터를 조정할 수 있습니다.

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

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

   Requirements Portal이 텍스트 박스 아래에 실제로 연결된 값을 가져오는 방식에 주목하세요.

   

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

   

다음 단계는?

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

데스크톱 팬 프로젝트를 계속 개선해 나갈 수 있습니다. 다음은 몇 가지 아이디어입니다:

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

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

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