시스템 검증

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를 선택합니다.

   

이로써 수동 검증 활동을 성공적으로 생성했습니다. 이제 블록 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 질량 300 g을 Blocks Module의 Valifan 시스템 질량 vali와 비교하는 규칙을 정의할 수 있습니다. vali를 참조하려면 $ 기호를 사용합니다. 나타나는 팝업에서는 이름을 입력하여 vali를 검색할 수 있습니다. 규칙은 다음과 같이 정의합니다:

   $Valifan.Mass<$R-Fan_001.maximum_fan_mass

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

   

4. V&V Rules 창에서 버튼을 클릭한 다음 창을 닫습니다. 이제 테이블에서 이 요구사항에 연결된 규칙이 1개(검증됨) 있고, 전체 V&V 상태가 2/2인 것을 볼 수 있습니다(이전에 질량 검사 활동도 이미 검증되었기 때문입니다).

   

다음 단계는?

축하합니다. 이제 Requirements Portal을 충분히 활용할 수 있게 되었습니다!

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

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

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

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