흐름 4: 수동 및 Rule 확인 흐름

다음 두 가지 플로우를 통해 사용자는 요구 사항 모듈에서 직접 검증을 설정할 수 있습니다.

수동 검증 플로우

이 플로우를 사용하면 사용자가 요구 사항 모듈 내에서 직접 요구 사항에 V&V 활동을 추가하고 상태를 수동으로 업데이트할 수 있습니다.

이를 위해 요구 사항 모듈의 "V&V 활동" 열에서 셀을 두 번 클릭하고 활동을 만들 수 있습니다.

여기에서 이미 추가된 활동과 "활동 연결" 버튼을 클릭하여 기존 활동을 이 요구사항에 연결할 수 있는 가능성을 볼 수 있습니다.

여기에서 드롭다운에서 기존 활동을 선택하고 선택적으로 블록을 선택할 수 있습니다.

그런 다음 상태를 직접 수동으로 할당하거나 동적 링크를 통해 활동 또는 실행으로 이동할 수 있습니다.

Rule 확인 흐름

Rule을 사용하면 부울 표현식(예: "설계 질량이 최대 요구 질량보다 낮은가?")을 통해 시스템 설계 값과 요구 사항 값 간의 비교를 설정할 수 있습니다.

이를 위해 양쪽(시스템 설계 모듈과 요구 사항 모듈)에 Valis를 설정했는지 확인하세요. Rule을 설정하려면 요구사항의 "V&V Rules" 열에서 셀을 두 번 클릭합니다.

그러면 Rule을 정의할 수 있는 창이 열립니다.

발리스를 호출하려면 달러 기호($)를 입력하기만 하면 선택할 수 있는 발리스가 있는 드롭다운이 열리고 검색할 수 있습니다.

이 경우 실제 드론 군집 질량과 요구사항에 정의된 최대 허용 질량을 비교하고 있습니다.

이 경우 6kg(Design Mass)이 8kg(최대 요구 사항 질량)보다 낮으므로 Rule이 확인됩니다.

이는 V&V 상태 열의 전체 확인 상태에도 표시됩니다.