흐름 4: 수동 및 규칙 검증 흐름

다음 두 가지 흐름을 사용하면 Requirements Module에서 직접 검증을 설정할 수 있습니다.

수동 검증 흐름

이 흐름을 사용하면 Requirements Module 내에서 Requirement에 V&V Activity를 직접 추가하고 상태를 수동으로 업데이트할 수 있습니다. 이를 위해 Requirements Module의 V&V Activities 열에 있는 셀을 더블클릭하여 Activity에 대한 링크를 생성할 수 있습니다.

열리는 Verification & Validation Items 창에는 이미 추가된 활동이 표시됩니다. 버튼을 클릭하면 기존 Activities를 Requirement에 연결할 수 있습니다. 이후 열리는 Link Activity 창에서 기존 activity와 선택적으로 Block을 선택할 수 있습니다.

그 후에는 상태를 직접 수동으로 지정하거나 동적 링크를 통해 Activity 또는 Run으로 이동할 수 있습니다.

V&V activities가 할당된 requirement의 V&V Status 필드는 V&V activities의 상태에 따라 자동으로 업데이트됩니다. requirement의 V&V Status 필드 항목은 다음과 같이 표시됩니다:

• Not Verified – 할당된 activities 중 Verified 상태인 것이 하나도 없는 경우.

• Partially Verified – 할당된 activities 중 일부만 Verified 상태인 경우.

• Verified – 할당된 activities가 모두 Verified 상태인 경우.

또한 셀에는 X/Y 형식의 숫자가 표시되며, 여기서 X는 Verified 상태인 할당된 activities의 수이고 Y는 할당된 activities의 총수입니다.

규칙 검증 흐름

Rules를 사용하면 불리언 표현식으로 block valis와 requirement valis를 비교할 수 있습니다(예: "설계 질량이 요구사항의 최대 질량보다 작은가?"). 이를 위해 양쪽 모두(Blocks Module과 Requirements Module)에 Valis가 설정되어 있어야 합니다. Rule을 설정하려면 Requirement의 V&V Rules 열에 있는 셀을 더블클릭합니다. 그러면 Rules를 정의할 수 있는 창이 열립니다.

Valis를 호출하려면 달러 기호($)를 입력하면 선택 및 검색 가능한 Valis가 드롭다운으로 표시됩니다. 아래 예에서는 드론 전원 시스템의 실제 질량을 Requirement에 정의된 허용 최대 질량과 비교합니다. 이 경우 0.44 kg(설계 질량)이 0.5 kg(요구사항 최대 질량)보다 작으므로 Rule은 Verified입니다.