Để ước lượng độ ổn định hay khả năng vận hành thơng suốt (reliability) của một phần mềm, người ta căn cứ vào kết quả của các phép thử nghiệm thống kê, nghĩa là các thử nghiệm ngẫu nhiên thùy theo mẫu sử dụng đã chọn.
a) Phương pháp trực tiếp
Giả thiết rằng trong khi tiến hành n phép thử, người ta gặp d khiếm khuyết. Ta cĩ thể ước lượng độ ổn định của phần mềm đang xét bởi biểu thức :
1 − d / n
Phương pháp này chỉ cĩ thể đưa ra một ước lượng tốt về độ ổn định nếu số các khiếm khuyết d là cĩ nghĩa (chẳng hạn độ tin cậy là 1 nếu khi thử nghiệm khơng xảy ra khiếm khuyết nào, điều này khơng cĩ nghĩa).
Hơn nữa, nếu sau khi thử nghiệm, mà chạy trình debugger, thì chương trình sẽ bị thay đổi và việc ước lượng sẽ chỉ cịn hợp thức một cách cĩ điều kiện khi giả thiết về chất lượng của quá trình debugger.
b) Phương pháp thử nghiệm giả thuyết (Hypothesis Testing)
Vấn đề là xây dựng một tập hợp các phép thử nghiệm mà kết quả được ấn định trước cho phép khẳng định hay bác bỏ độ ổn định của phần mềm đang xét cĩ một giá trị R với một độ tin cậy x%. R và x thoả mãn :
0 < R < 1 và 0 < x < 100
Các tham số R và x cũng như quy cách về kết quả được cố định trước. Người ta nĩi chương trình là được kiểm nghiệm nếu cĩ độ ổn định R.
Cho c = x/100, ta cĩ :
CHƯƠNG 5
Đặc tả phần mềm