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 người dùng trực tiếp thêm một Hoạt động V&V vào một Yêu cầu từ bên 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 một Hoạt động.

Tại đây, bạn sẽ thấy các hoạt động đã được thêm trước đó và khả năng liên kết các Hoạt động hiện có với Yêu cầu này bằng cách nhấp vào nút “Link Activity“.

Từ đây, bạn có thể chọn một hoạt động hiện có từ danh sách thả xuống và tùy chọn chọn một Khối.

Sau đó, bạn có thể trực tiếp gán Trạng thái theo cách thủ công hoặc chuyển đến Hoạt động hay Lần chạy thông qua các liên kết động.

Trường V&V Status của một yêu cầu có các hoạt động V&V được gán 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 yêu cầu 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 ở 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ố lượng 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 Quy tắc

Các Quy tắc cho phép người dùng thiết lập phép so sánh giữa các vali của thiết kế hệ thống và vali của yêu cầu thông qua các biểu thức Boolean (ví dụ: "Khối lượng thiết kế có nhỏ hơn khối lượng yêu cầu tối đa không?").

Để thực hiện việc này, hãy đảm bảo rằng bạn đã thiết lập Valis ở cả hai phía (trong System Design Module và trong Requirements Module). Để thiết lập một Quy tắc, hãy nhấp đúp vào một ô trong cột “V&V Rules“ của một Yêu cầu.

Thao tác này sẽ mở ra một cửa sổ nơi có thể định nghĩa các Quy tắc.

Để gọi các Valis, chỉ cần nhập dấu đô la ($), thao tác này sẽ mở ra một danh sách thả xuống chứa các Valis để chọn và tìm kiếm.

Trong trường hợp này, chúng ta đang so sánh khối lượng thực tế của đàn drone với khối lượng tối đa được phép được xác định bởi Yêu cầu.

Trong trường hợp này, Quy tắc được xác minh là đúng vì 6 kg (Khối lượng Thiết kế) nhỏ hơn 8 kg (Khối lượng Yêu cầu Tối đa).