The Impossibility Of Testing Everyt

The Impossibility Of Testing Everything
In his monumental book Testing Object-Oriented Systems, Robert Binder provides an excellent example of the impossibility of testing "everything." Consider the following program:

int blech (int j) {
j = j -1; // should be j = j + 1
j = j / 30000;
return j;
}

Note that the second line is incorrect! The function blech accepts an integer j, subtracts one from it, divides it by 30000 (integer division, whole numbers, no remainder) and returns the value just computed. If integers are implemented using 16 bits on this computer executing this software, the lowest possible input value is -32768 and the highest is 32767. Thus there are 65,536 possible inputs into this tiny program. (Your organization's programs are probably larger.) Will you have the time (and the stamina) to create 65,536 test cases? Of course not. So which input values do we choose? Consider the following input values and their ability to detect this defect.

Input (j)
Expected Result
Actual Result

1
0
0

42
0
0

40000
1
1

-64000
-2
-2


Oops! Note that none of the test cases chosen have detected this defect. In fact only four of the possible 65,536 input values will find this defect. What is the chance that you will choose all four? What is the chance you will choose one of the four? What is the chance you will win the Powerball lottery? Is your answer the same to each of these three questions?

Results (Vietnamese) 1:

Impossibility của kiểm tra tất cả mọi thứTrong cuốn hoành tráng Testing Object-Oriented hệ thống, Robert Binder cung cấp một ví dụ tuyệt vời của impossibility của thử nghiệm "tất cả mọi thứ." Hãy xem xét chương trình sau đây: int blech (int j) {} j = j -1; nên j = j + 1 j = j / 30000; trở về j; }Lưu ý rằng dòng thứ hai là không chính xác! Blech chức năng chấp nhận một số nguyên j, trừ một trong những từ đó, phân chia bởi 30000 (bộ phận số nguyên, số nguyên, còn lại không có) và trả về giá trị chỉ tính. Nếu số nguyên được thực hiện bằng cách sử dụng 16 bit trên này máy tính thực hiện phần mềm này, giá trị đầu vào có thể thấp nhất là-32768 và cao nhất là 32767. Vì vậy, có là 65,536 đầu vào có thể vào chương trình này nhỏ. (Chương trình của tổ chức của bạn đang có lẽ lớn hơn.) Bạn sẽ có thời gian (và sức chịu đựng) để tạo ra trường hợp thử nghiệm 65,536? Tất nhiên là không rồi. Vì vậy mà nhập vào giá trị chúng tôi chọn? Xem xét các giá trị nhập sau và khả năng của mình để phát hiện lỗi này.Đầu vào (j) Kết quả dự kiến Kết quả thực tế 1 0 0 42 0 0 40000 1 1 -64000 -2 -2 Rất tiếc! Lưu ý rằng không ai trong số các trường hợp kiểm tra chọn đã phát hiện lỗi này. Trong thực tế, chỉ có bốn của các giá trị đầu vào 65,536 có thể sẽ tìm thấy lỗi này. Cơ hội rằng bạn sẽ chọn tất cả bốn là gì? Cơ hội bạn sẽ chọn một trong bốn là gì? Có thể có bạn sẽ giành chiến thắng trong xổ số Powerball là gì? Là câu trả lời của bạn cùng với mỗi người trong số những câu hỏi ba?

Results (Vietnamese) 2:

Việc không thể kiểm tra Tất cả mọi thứ
trong kiểm tra cuốn sách hệ thống hướng đối tượng hoành tráng của mình, Robert Binder cung cấp một ví dụ tuyệt vời của việc không thể kiểm tra "tất cả mọi thứ." Hãy xem xét các chương trình sau: int blech (int j) {j = j -1; // Nên j = j + 1 j = j / 30000; trở lại j;} Chú ý rằng dòng thứ hai là không chính xác! Các chức năng blech chấp nhận một số nguyên j, trừ một từ nó, chia nó bởi 30000 (phân chia số nguyên, số nguyên, không còn lại) và trả về giá trị chỉ tính. Nếu số nguyên được thực hiện bằng cách sử dụng 16 bit trên máy tính này thực hiện phần mềm này, các giá trị đầu vào thấp nhất có thể là -32.768 và cao nhất là 32767. Như vậy có 65.536 đầu vào có thể vào chương trình nhỏ bé này. (Chương trình của tổ chức của bạn có lẽ lớn hơn.) Bạn sẽ có thời gian (và sức chịu đựng) để tạo ra 65.536 trường hợp thử nghiệm? Tất nhiên là không. Vì vậy mà các giá trị đầu vào để chúng ta chọn? Hãy xem xét các giá trị đầu vào sau và khả năng phát hiện lỗi này. Input (j) Dự kiến kết quả thực tế Kết quả 1 0 0 42 0 0 40000 1 1 -64.000 -2 -2 Oops! Lưu ý rằng không ai trong số các trường hợp thử nghiệm được lựa chọn đã phát hiện lỗi này. Trong thực tế chỉ có bốn trong thể 65.536 giá trị đầu vào sẽ tìm thấy khiếm khuyết này. Các cơ hội mà bạn sẽ chọn tất cả bốn người là gì? Có cơ hội bạn sẽ chọn một trong bốn là gì? Có cơ hội bạn sẽ giành chiến thắng trong xổ số Powerball là gì? Là câu trả lời của bạn cùng với mỗi một trong ba câu hỏi?