Xác minh hệ thống

Trong Requirements Portal, các yêu cầu được liên kết với một hoặc nhiều hệ thống hoặc phân hệ. Các hệ thống này được xác minh thông qua các hoạt động Verifications and Validations (V&V). Một yêu cầu của Block có thể được xác minh bằng một hoặc nhiều hoạt động V&V. Mỗi hoạt động có thể được liên kết với một hoặc nhiều yêu cầu và có thể xác minh một hay nhiều hệ thống.

Trong phần này của hướng dẫn, chúng ta sẽ thảo luận cách thực hiện các hoạt động V&V bằng Requirements Portal và trình bày các nội dung sau:

• Cách tạo các hoạt động V&V.

• Cách liên kết các hoạt động V&V với yêu cầu.

• Cách chạy một hoạt động.

• Minh họa các phương pháp xác minh tự động trong Requirements Portal.

Tạo và tải View cho Verification

Requirements Portal cung cấp nhiều thuộc tính được chọn sẵn, chẳng hạn như Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags và Properties. Tuy nhiên, điều này có thể dẫn đến việc phải cuộn ngang quá nhiều trên các màn hình nhỏ. Bạn có thể tạo các view tùy chỉnh chỉ gồm những thuộc tính cần thiết để đơn giản hóa quy trình Verification. Hãy tạo một view mới cho Verification và tải nó.

1. Mở specification Fan_Spec (bên dưới mục Requirements trong cây dự án).

2. Di chuột lên bất kỳ tiêu đề cột nào, nhấp vào biểu tượng  xuất hiện, rồi nhấp vào biểu tượng  để hiển thị danh sách các cột khả dụng.

   

3. Bỏ chọn tất cả các cột trong danh sách và chỉ chọn các cột sau:

   • Text

   • Parents

   • Children

   • V&V Activities

   • V&V Status

   • V&V Rules

   • Applicable Block

   • Tags

   Bạn cũng có thể chọn/bỏ chọn các thuộc tính bằng ngăn Columns ở phía bên phải. Cách này được trình bày để bạn cũng biết thêm về các tùy chọn bổ sung có trên tiêu đề cột, chẳng hạn như bộ lọc và các tùy chọn kích thước bảng. Ví dụ, biểu tượng cung cấp các tùy chọn lọc cho một cột cụ thể.

4. Nhấp chuột phải trong bảng và chọn lệnh Save view từ menu ngữ cảnh. Trong cửa sổ Save current view mở ra, nhập Verification_View làm View name, chọn Private, rồi nhấp .

   

   Tất cả các cột đã chọn, độ rộng cột và các bộ lọc đã áp dụng sẽ được lưu trong một view riêng. Sau khi lưu view, bạn có thể tải lại bằng cách nhấp chuột phải trong bảng và chọn mục tương ứng trong menu con Load View.

Thêm một hoạt động Verification & Validation vào một yêu cầu

Requirements Portal cung cấp ba cột dành riêng cho việc verification và validation của các yêu cầu (ngoài các cột bổ sung như Compliance và Compliance Comment hoặc thậm chí các cột tùy chỉnh liên quan đến hoạt động verification):

• V&V Activities – hiển thị các hoạt động V&V được liên kết với yêu cầu.

• V&V Status – cho biết trạng thái tổng thể của việc xác minh yêu cầu.

• V&V Rules – xác minh tự động dựa trên so sánh vali giữa yêu cầu và Blocks Module.

1. Mở rộng mục Verifications & Validations trong cây dự án và chọn Activities.

2. Nhấp nút . Trong cửa sổ Create V&V Activity mở ra, nhập Mass Inspection vào trường Name và This activity measures the mass of the Valifan. vào trường Description, rồi nhấp .

   

3. Bây giờ chúng ta sẽ liên kết hoạt động mới này với một trong các yêu cầu từ Requirements Module. Nhấp vào tên của hoạt động trong cột Name và nhấp vào điều khiển Requirements Statuses ở đầu trang.

   

4. Nhấp nút  ở góc trên bên trái. Trong cửa sổ Link Requirement mở ra, chọn R-Fan-001 trong danh sách thả xuống Requirement và chọn Valifan từ danh sách thả xuống Block, rồi nhấp .

   

5. Giả sử bạn đã thực hiện kiểm tra khối lượng theo hướng dẫn của hoạt động và bây giờ chúng ta muốn đặt trạng thái xác minh thành verified. Để thực hiện điều này, hãy nhấp đúp vào ô trong cột Status và chọn Verified từ danh sách thả xuống.

   

6. Mở specification Fan_Spec (bên dưới mục Requirements trong cây dự án).

7. Trong bảng, bạn sẽ thấy hoạt động V&V đã được gán trong cột V&V Activities và trạng thái Verified 1/1 trong cột V&V Status.

   

Như vậy, chúng ta đã tạo thành công một hoạt động xác minh thủ công. Bây giờ, hãy xem cách thực hiện các xác minh tự động cho các yêu cầu để kiểm tra vali của block so với vali của yêu cầu.

Xác minh hệ thống tự động bằng Rules

1. Mở specification Fan_Spec (bên dưới mục Requirements trong cây dự án).

2. Di chuột qua vali 300 g trong cột Text của yêu cầu R-Fan-001 và kiểm tra tên của nó trong cửa sổ bật lên. Tên này sẽ được dùng khi tạo một rule, trong đó vali này sẽ được so sánh với một vali từ Blocks Module.

   

   Vali trong các yêu cầu có thể được chỉnh sửa bằng cách nhấp vào biểu tượng  trong cửa sổ bật lên. Bạn có thể điều chỉnh các tham số như tên, biên sai số, v.v.

3. Nhấp đúp vào ô trong cột V&V Rules của yêu cầu R-Fan-001 . Cửa sổ V&V Rules sẽ mở ra, tại đây bạn có thể định nghĩa một rule để so sánh Valifan mass 300 g của yêu cầu với mass vali của hệ thống Valifan từ Blocks Module. Dùng ký hiệu $ để tham chiếu các vali. Trong cửa sổ bật lên xuất hiện, bạn có thể tìm kiếm vali bằng cách nhập tên của chúng. Hãy định nghĩa rule như sau:

   $Valifan.Mass<$R-Fan_001.maximum_mass_of_fan

   Lưu ý cách Requirements Portal lấy các giá trị liên kết thực tế và hiển thị bên dưới hộp văn bản.

   

4. Nhấp nút  trong cửa sổ V&V Rules rồi đóng cửa sổ. Trong bảng, bạn sẽ thấy rằng giờ đây chúng ta có một rule (đã được verified) được liên kết với yêu cầu.

   

Các bước tiếp theo?

Chúc mừng, giờ đây bạn đã nắm được cách sử dụng Requirements Portal!

Bạn có thể tiếp tục cải tiến dự án quạt để bàn của mình. Dưới đây là một vài ý tưởng:

• Thêm Compliance vào các yêu cầu của bạn.

• Thêm một vài mối quan hệ cha/con giữa các yêu cầu, kiểm tra đồ thị kết nối connections graph, và lưu ý các mã màu trên yêu cầu.

• Thêm một block tấm pin mặt trời để quạt có thể mang đi. Bạn có thể làm cho tốc độ quay tối đa phụ thuộc vào góc chiếu nắng của tấm pin mặt trời.