x and y so that the smaller number

x and y so that the smaller number is in x and the larger number is in y. If the two
numbers are already in the proper order, the compound statement is not executed.
Variables x, y, and temp should all be the same data type. Although the values of x
and yare being switched, an additional variable, temp, is needed to store a copy of
one of these values.
Table 4.9 traces the execution of this if statement when xis 12.5 and y is
5.0. The table shows that tempis initially undefined (indicated by ?). Each line of
the table shows the part of the ifstatement that is being executed, followed by its
effect. If any variable gets a new value, its new value is shown on that line. If no new
value is shown, the variable retains its previous value. The last value stored in x is
5.0, and the last value stored in yis 12.5.
The trace in Table 4.9 shows that 5.0and 12.5are correctly stored in x and
ywhen the condition is true. To verify that the ifstatement is correct, you would
need to select other data that cause the condition to evaluate to false. Also, you
should verify that the statement is correct for special situations. For example, what
would happen if xwere equal to y? Would the statement still provide the correct
result? To complete the hand trace, you would need to show that the algorithm
handles this special situation properly.
In tracing each case, you must be careful to execute the statement step-by-step
exactly as the computer would execute it. Often programmers assume how a particular step will be executed and don’t explicitly test each condition and trace each
step. A trace performed in this way is of little value.

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

x và y do đó số lượng nhỏ hơn ở x và số lớn hơn là trong y. Nếu hai Các con số là đã theo thứ tự thích hợp, các tuyên bố hợp chất không được thực hiện. Biến x, y, và temp tất cả nên kiểu dữ liệu tương tự. Mặc dù các giá trị của xvà yare được chuyển, một biến bổ sung, tạm thời, cần thiết để lưu trữ một bản sao của một trong những giá trị này. 4.9 bảng dấu vết thực hiện điều này nếu tuyên bố khi xis 12,5 và y là 5,0. bảng này cho thấy rằng tempis ban đầu undefined (chỉ định bởi?). Mỗi dòng bảng này cho thấy một phần của ifstatement mà đang được thực hiện, theo sau là của nó có hiệu lực. Nếu bất kỳ thay đổi được một giá trị mới, giá trị mới của nó được hiển thị trên dòng. Nếu không có mới giá trị được thể hiện, biến vẫn giữ giá trị trước đây của nó. Giá trị cuối cùng lưu trữ trong x 5.0, và giá trị cuối cùng được lưu trữ trong yis 12,5. Dấu vết trong bảng 4.9 cho thấy rằng 5.0and 12.5are một cách chính xác được lưu trữ trong x và ywhen các điều kiện là đúng sự thật. Để xác minh rằng ifstatement là chính xác, bạn sẽ bạn phải chọn các dữ liệu khác gây ra tình trạng đánh giá sai. Ngoài ra, bạn nên xác minh rằng các báo cáo là chính xác cho các tình huống đặc biệt. Ví dụ, những gì sẽ xảy ra nếu xwere bằng y? Nào các tuyên bố vẫn còn cung cấp cho chính xác kết quả? Để hoàn thành bàn tay vết, bạn sẽ cần để cho thấy rằng các thuật toán xử lý tình trạng này đặc biệt đúng. Trong truy tìm mỗi trường hợp, bạn phải cẩn thận để thực hiện các báo cáo từng bước chính xác như máy tính sẽ thực hiện nó. Lập trình thường giả định như thế nào một bước cụ thể sẽ được thực hiện và không rõ ràng kiểm tra mỗi điều kiện và theo dõi mỗi bước. Một dấu vết thực hiện theo cách này là ít giá trị.