Luồng 4: Quy trình xác minh thủ công và theo quy tắc

Hai luồng sau đây cho phép người dùng thiết lập xác minh trực tiếp từ Requirements Module.

Luồng xác minh thủ công

Luồng này cho phép bạn trực tiếp thêm một Hoạt động V&V vào một Requirement ngay trong Requirements Module và cập nhật trạng thái theo cách thủ công. Để thực hiện việc này, bạn có thể nhấp đúp vào một ô trong cột V&V Activities  trong Requirements Module và tạo liên kết đến một Activity.

Cửa sổ Verification & Validation Items mở ra sẽ hiển thị các hoạt động đã được thêm. Nhấp vào nút để liên kết các Activity hiện có với Requirement. Từ cửa sổ Link Activity mở ra, bạn có thể chọn một activity hiện có và, nếu muốn, một Block.

Sau đó, bạn có thể trực tiếp gán Status theo cách thủ công hoặc chuyển đến Activity hay Run thông qua các liên kết động.

Trường V&V Status  của một requirement đã được gán các hoạt động V&V sẽ tự động được cập nhật dựa trên trạng thái của các hoạt động V&V đó. Mục nhập trong trường V&V Status  của requirement sẽ được hiển thị như sau:

• Not Verified – nếu không có hoạt động nào được gán ở trạng thái Verified.

• Partially Verified – nếu một số nhưng không phải tất cả các hoạt động được gán đang ở trạng thái Verified.

• Verified – nếu tất cả các hoạt động được gán đều ở trạng thái Verified.

Ngoài ra, các con số sẽ được hiển thị trong ô theo dạng X/Y, trong đó X là số hoạt động được gán ở trạng thái Verified và Y là tổng số hoạt động được gán.

Luồng xác minh bằng Rules

Rules cho phép bạn thiết lập phép so sánh giữa các vali của block và các vali của requirement thông qua các biểu thức Boolean (ví dụ: "Khối lượng của thiết kế có nhỏ hơn khối lượng tối đa theo Requirement không?"). Để làm điều này, hãy bảo đảm rằng bạn đã thiết lập Vali ở cả hai phía (trong Blocks Module và trong Requirements Module). Để thiết lập một Rule, hãy nhấp đúp vào một ô trong cột V&V Rules trên một Requirement. Thao tác này sẽ mở ra một cửa sổ nơi có thể định nghĩa các Rule.

Để gọi các Vali, hãy nhập dấu đô la ($), thao tác này sẽ mở một danh sách thả xuống chứa các Vali để chọn và tìm kiếm. Trong ví dụ minh họa bên dưới, khối lượng thực tế của hệ thống nguồn drone được so sánh với khối lượng tối đa cho phép được xác định bởi Requirement. Trong trường hợp này, Rule được Verified vì 0.44 kg (Khối lượng thiết kế) nhỏ hơn 0.5 kg (Khối lượng tối đa theo Requirement).