Bộ yêu cầu phi chức năng

Chương III: Áp dụng và mở rộng SPSC

3.1 Phần mềm hỗ trợ

3.2.2 Bộ yêu cầu phi chức năng

RP14: The system shall be available 24 hours a day 7 days a week, with no more than 10% down time.

Con số 24 giờ một ngày và 7 ngày một tuần trong yêu cầu này dễ gây nhiễu thông tin. Thực tế yêu cầu này có ý nghĩa là trong suốt quá trình hoạt động của hệ thống, khoảng thời gian không thể phản hồi (downtime) không quá 10%. Với một sự kiện down_time, khi sử dụng bảng hỏi ta có kết quả như sau:

TIEU LUAN MOI download : skknchat@gmail.com

(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem(LUAN.van.THAC.si).chuyen.ngon.ngu.trong.bieu.dien.yeu.cau.phan.mem

“The system shall have a behavior where with a probability lower or equal than 10% it is the case that down_time holds in a long run.”

3.2.2.2 Yêu cầu hiệu năng

RP15: The system shall support up to 2000 simultaneous users against the central database at any given time, and up to 500 simultaneous users against the local servers at any one time.

Yêu cầu này hiện chưa có cách thể hiện tương ứng trong SPSC.

RP16: The system shall provide access to the legacy course catalog database with no more than a 10 second latency.

Note: Risk-based prototypes have found that the legacy course catalog database cannot meet our performance needs without some creative use of mid-tier processing power.

Đoạn ghi chú không phải là yêu cầu nên bỏ qua trong quá trình chuyển đổi.

“The system shall have a behavior where with a probability 100% it is the case that if recv_ access_legcourse_ db holds, then as response send_response becomes true within 10 seconds.”

RP17: The system must be able to complete 80% of all transaction within 2 minutes.

“The system shall have a behavior where with a probability greater or equal than 80% it is the case that if recv_a_req holds, then as response send_response becomes true within 2 minutes.”

3.2.2.3 Yêu cầu về tính bảo mật

Các yêu cầu này cần được thể hiện bằng bộ mẫu yêu cầu không có tính xác suất.

RP17: The system must prevent students from changing any schedules other than their own, and professors from modifying assigned course offerings for other professors.

TIEU LUAN MOI download : skknchat@gmail.com

“After login_successfully, it is always the case that if recv_chg_sche_req holds then curuser_is_Std previously held.

After recv_chg_sche_req, it is always the case that if chg_successfully holds then req_chg_own_sche previously held.

After login_successfully, it is always the case that if recv_chg_course_info holds then curuser_is_Prof previously held.

After recv_chg_ course_info, it is always the case that if chg_successfully holds then req_chg_own_course previously held.”

RP18: Only Professors can enter grades for students.

“After login_successfully, it is always the case that if upd_grade_successfully holds then curuser_is_Prof previously held.”

RP19: Only the Registrar is allowed to change any student information.

“After login_successfully, it is always the case that if upd_std_infor_successfully holds then curuser_is_Registrar previously held.”

3.2.2.4 Yêu cầu tính sử dụng

RP20: The desktop-interface shall be Windows 95/98 compliant.

Yêu cầu này không thể thể hiện được trong SPSC 3.2.2.5 Yêu cầu ràng buộc thiết kế

RP21: The system shall integrate with an existing legacy system, the Course Catalog System, which is an RDBMS. The system shall provide a Window-base desktop interface.

Yêu cầu này không thể thể hiện được trong SPSC

TIEU LUAN MOI download : skknchat@gmail.com

Bảng hỏi dành cho SPSC (SPSCQT)

Chức năng của phần mềm