- Supportability Nhân tố mang chuyển
b) Quá trình phòng sạch – Cleanroom
Quá trình phòng sạch = Kiểm chứng chương trình một cách hình thức (chứng minh tính đúng đắn) + đảm bảo chất lượng phần mềm thống kê.
- Phương châm của kĩ thuật này là: phòng khiếm khuyết hơn trừ khiếm khuyết
- Cơ sở lý luận rằng: nên dành nhiều thời gian cho kiểm chứng chương trình toán học hơn là cho gỡ lỗi.
- Dùng quá trình này thì số khiếm khuyết cho mỗi LOC giảm đảng kể: với các dự án phần mềm có kích cỡ từ 1000 đến 50000 LOC dùng quá trình phòng sạch đã tìm thấy 90% khiếm khuyết trước khi kiểm thử chương trình lần đầu tiên.
- Đến 1992 công nghệ phần mềm phòng sạch vẫn chưa được áp dụng rộng rãi trong công nghiệp. Cần phải có các thay đổi thực chất trong cả quản lý cũng như trong kỹ thuật trước khi áp dụng phương pháp này.
2.2. Các độ đo về sự tin cậy và an toàn
Câu 30. Độ tin cậy của phần mềm là cái gì? Đo độ tin cậy dựa trên những dữ liệu nào?
- Độ tin cậy của phần mềm là một yếu tố quan trọng trong chất lượng phần mềm.
- Độ tin cậy phần mềm được định nghĩa theo thuật ngữ thống kê là: “Xác suất thao
tác không thất bại của chương trình máy tính trong một môi trường đặt biệt với một thời
gian đã định rõ”.
- Độ tin cậy của phần mềm được đo trực tiếp và được đánh giá qua các dữ liệuphát
triển và các dữ liệu lịch sử.
Câu 31. Thế nào là thất bại của phần mềm? Có mấy thang bậc? Là những thang bậc nào?
Khi nói đến độ tin cậy phần mềm thì nảy sinh câu hỏi “thất bại” nghĩa là gì? Thất bại là việc không thi hành đúng các yêu cầu phần mềm.
Các thang bậc thất bại:
- Mức độ: Từ một sự phiền phức đến một thảm hoạ
- Thời gian: Để loại trừ một thất bại có khi chỉ vài giây, đến cả tuần, cả tháng.
- Hậu quả: Loại bớt một thất bại có thể lại sinh ra lỗi khác và kéo theo thất bại khác.
Câu 32. Nêu chỉ tiêu để tính độ tin cậy? Nêu công thức tính độ sẵn sàng? Giải thích ý nghĩa của nó?
- Độ tin cậy của các hệ thống dựa trên máy tính là thời gian trung bình giữa hai lần thất bại kế tiếp (MTBF- Mean Time Between Failure):
MTBF = MTTF + MTTR
Trong đó:
MTTF (Mean Time To Failure): thời gian hoạt động liên tục trung bình MTTR (Mean Time To Repair): thời gian sửa xong lỗi trung bình