시스템 검증

Requirements Portal에서는 요구사항이 하나 이상의 시스템 또는 서브시스템에 연결됩니다. 이러한 시스템은 검증 및 확인(Verifications and Validations, V&V) 활동을 통해 검증됩니다. 블록의 요구사항은 하나 또는 여러 개의 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와 같은 다양한 사전 선택 속성을 제공합니다. 하지만 작은 화면에서는 가로 스크롤이 과도하게 발생할 수 있습니다. 검증 프로세스를 간소화하기 위해 필수 속성만 포함한 사용자 지정 뷰를 만들 수 있습니다. 이제 검증용 새 뷰를 만들고 이를 로드해 보겠습니다.

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

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

   

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

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

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

4. 테이블에서 마우스 오른쪽 버튼을 클릭하고 컨텍스트 메뉴에서 Save view 명령을 선택합니다. 열리는 Save current view 창에서 Verification_View을(를) View name으로 입력하고, 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 창에서 Mass Inspection을(를) Name 필드에 입력하고, This activity measures the mass of the Valifan.을(를) Description 필드에 입력한 다음, 를 클릭합니다.

   

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

   

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

   

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

   

6. Fan_Spec 사양을 엽니다(프로젝트 트리의 Requirements 항목 아래).

7. 테이블에서 V&V Activities 열에 할당된 V&V 활동과 V&V Status 열의 Verified 1/1 상태를 확인할 수 있습니다.

   

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

규칙을 사용한 시스템 자동 검증

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

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

   

   요구사항의 vali는 팝업에서 아이콘을 클릭하여 편집할 수 있습니다. 이름, 마진 등의 매개변수를 조정할 수 있습니다.

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_mass_of_fan

   Requirements Portal이 텍스트 상자 아래에 실제 연결된 값을 가져오는 점에 주목하세요.

   

4. V&V Rules 창에서 버튼을 클릭한 다음 창을 닫습니다. 테이블에서 이제 해당 요구사항에 연결된 규칙 1개(검증됨)가 표시됩니다.

   

다음 단계는?

축하합니다. 이제 Requirements Portal을 다루는 방법을 익히셨습니다!

이제 데스크톱 팬 프로젝트를 계속 개선해 볼 수 있습니다. 다음과 같은 아이디어가 있습니다.

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

• 요구사항 사이에 몇 가지 부모/자식 관계를 추가하고, connections graph를 확인한 뒤 요구사항의 색상 코드를 살펴보세요.

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