Trong các bảng hỏi dưới đây, các câu hỏi/lựa chọn được bổ sung/chỉnh sửa so với bộ câu hỏi gốc của PROPEL được in nghiêng và gạch chân.
2.4.2.1 Bảng hỏi phân biệt yêu cầu có/không có tính xác suất
Đối với câu trả lời có, các câu hỏi sẽ tiếp tục theo cấu trúc của phần 2.4.2.3. Bảng hỏi dành cho yêu cầu có tính xác suất, nếu không sẽ tiếp tục theo cấu trúc của phần 2.4.2.2. Bảng hỏi dành cho yêu cầu không có tính xác suất.
Bảng 2.1: Bảng hỏi phân biệt yêu cầu có/không có tính xác suất
Does this requirement have probabilistic quality properties?
Yes
No
2.4.2.2 Bảng hỏi dành cho yêu cầu không có tính xác suất
2.4.2.2.1Bảng hỏi dành cho xử lý 01 sự kiện
Bảng 2.2: Bảng hỏi dành cho xử lý 01 sự kiện
How many events of primary interest are there in this behavior?
One event
--- Which of the following choices best describes the restriction of A? --- A is never allowed to occur
24
--- A is required to occur throughout the given scope (*)
--- A is required to occur (**)
--- A is required to occur at least k times (***)
--- A is required to occur exactly k times (***)
--- A occurs at most k times (***)
Lựa chọn (*) được thêm vào để thể hiện mẫu “universality” của SPSC. Lựa chọn (**) được thêm vào để thể hiện mẫu “existence” của SPSC. Các lựa chọn (***) được thêm vào dựa trên các khả năng có thể xảy ra thuộc mẫu “bounded existence”. Đối với các trường hợp này cần bổ sung cả SPSC tương ứng.
2.4.2.2.2Bảng hỏi dành cho 02 sự kiện
Bảng 2.3: Bảng hỏi dành cho xử lý 02 sự kiện
How many events of primary interest are there in this behavior?
Two events
--- Which of the following choices best describes how A and B interact? --- If A occurs, B is required to occur subsequently
--- B is not allowed to occur until after A occurs
--- Both statements above: If A occurs, B is required to occur subsequently; and B is not allowed to occur until after A occurs
--- If A occurs then there is at least one execution sequence such that B eventually occurs (*)
Lựa chọn (*) được thêm vào để thể hiện mẫu “possibility” trong SPSC. Các câu hỏi khác trong PROPEL được cắt đi vì chỉ bao gồm hoặc có thể chuyển về 1 sự kiện/trạng thái. Ví dụ như câu hỏi liên quan đến việc A có thể xuất hiện nhiều lần trước khi B xuất hiện hay không hoàn toàn có thể chuyển về mô tả với “Before B” trong phạm vi và A ở xử lý 1 sự kiện.
2.4.2.2.3Bảng hỏi dành cho 03 sự kiện
Bảng 2.4: Bảng hỏi dành cho xử lý 03 sự kiện
How many events of primary interest are there in this behavior?
25
--- Which of the following choices best describes how A, B and C interact?
--- If A occurs and is succeeded by B, then C previously occurs
--- If A occurs, then B previously occurs and was preceded by C
--- If A occurs, then B eventually occurs and is succeeded by C
--- If A occurs and is succeeded by B, then C eventually occurs after B
--- If A and B occurs simutaniously, then C eventually occurs
Các lựa chọn được thêm vào tương ứng với các mẫu sau trong SPSC: Precedence chain 1 - 2, Precedence chain 2 – 1, Response chain 1 -2, Response chain 2 -1. Lựa chọn cuối cùng được thêm vào để thể hiện trường hợp A và B cùng thỏa mãn thì C sẽ xảy ra. Đối với lựa chọn cuối cùng, cần bổ sung SPSC.
2.4.2.2.4Bảng hỏi dành cho 04 sự kiện
Bảng 2.5: Bảng hỏi dành cho xử lý 04 sự kiện
How many events of primary interest are there in this behavior?
Four events
--- Which of the following choices best describes how A, B and C interact?
--- If A occurs then B eventually occurs and is succeeded by C, where D does not occur between B and C
Lựa chọn được thêm vào tương ứng với mẫu “constrain chain” trong SPSC.
2.4.2.2.5Bảng hỏi dành cho phạm vi
Bảng hỏi dành cho phạm vi bỏ đi câu hỏi cuối cùng trong bảng hỏi PROPEL vì câu hỏi này chỉ có tác dụng làm rõ nghĩa, không làm thay đổi kết quả của mẫu tương ứng trong SPSC.
2.4.2.3 Bảng hỏi dành cho yêu cầu có tính xác suất
Về cơ bản, bảng hỏi này cũng được chia thành các loại: 1 sự kiện, 2 sự kiện, 3 sự kiện tương ứng với các mẫu; với nguyên tắc xác định mối quan hệ giữa các sự kiện trước, sau đó xác định khung thời gian, xác xuất xảy ra.
Do bảng hỏi tương đối dài nên để tránh trùng lặp, có thể tham khảo trong bảng thống kê phần 2.4.3 dưới đây.
26