2.1.1 To Find the BugsOne of the ea

2.1.1 To Find the Bugs
One of the earliest important results from theoretical computer science is a proof (known as the Halting Theorem) that it’s impossible to prove that an arbitrary program is correct. Given the right test, however, you can prove that a program is incorrect (that is, it has a bug). It’s important to remember that testing isn’t about proving the “correctness” of a program but about finding bugs. Experienced programmers understand that every program has bugs. The only way to know how many bugs are left in a program is to test it with a carefully designed and measured test plan.

Kết quả (Việt) 1:

2.1.1 để tìm các lỗiMột trong các kết quả quan trọng đầu tiên từ khoa học máy tính lý thuyết là một bằng chứng (được gọi là định lý ngăn chặn) rằng nó là không thể để chứng minh rằng một chương trình tùy ý là chính xác. Được thi đúng, Tuy nhiên, bạn có thể chứng minh rằng một chương trình là không chính xác (có nghĩa là, nó có một lỗi). Nó là quan trọng cần nhớ rằng thử nghiệm là không về chứng minh sự đúng đắn"" của một chương trình nhưng về việc tìm kiếm lỗi. Lập trình viên giàu kinh nghiệm hiểu rằng mỗi chương trình có lỗi. Cách duy nhất để biết làm thế nào nhiều lỗi còn lại trong một chương trình là để kiểm tra nó với một kế hoạch thử nghiệm được thiết kế cẩn thận và đo.

Kết quả (Việt) 2:

2.1.1 Để Tìm các Bugs
Một trong những kết quả quan trọng đầu tiên của khoa học máy tính lý thuyết là một bằng chứng (gọi là Định lý Tạm dừng) rằng nó không thể chứng minh rằng một chương trình tùy ý là chính xác. Với bài kiểm tra đúng, tuy nhiên, bạn có thể chứng minh rằng một chương trình là không chính xác (có nghĩa là, nó có một lỗi). Điều quan trọng là phải nhớ rằng xét nghiệm không thể là chứng minh "đúng cách" của một chương trình, nhưng về việc tìm kiếm lỗi. Lập trình viên có kinh nghiệm hiểu rằng mỗi chương trình có lỗi. Cách duy nhất để biết có bao nhiêu lỗi được giữ lại trong một chương trình là để thử nghiệm nó với một kế hoạch thử nghiệm thiết kế cẩn thận và đo.