xand yso that the smaller number is

xand yso that the smaller number is in xand 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 tempshould 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 ifstatement when xis 12.5and 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:

yso xand số lượng nhỏ hơn là trong xand 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à tempshould tất cả là cùng dữ liệu loại. 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 ifstatement này khi xis 12.5and y 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ị.

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

Xand yso rằng số lượng nhỏ hơn là trong Xand số lượng lớn hơn là trong y. Nếu hai
con số này đã theo đúng thứ tự, câu lệnh ghép không được thực hiện.
Các biến x, y, và tempshould tất cả có cùng kiểu dữ liệu. Mặc dù các giá trị của x
và yare được bật, một biến bổ sung, tạm thời, là cần thiết để lưu trữ một bản sao của
một trong những giá trị này.
Bảng 4.9 dấu vết thực hiện ifstatement này khi xis 12.5and y là
5.0. Bảng này cho thấy rằng tempis ban đầu không xác định (được chỉ định bởi?). Mỗi dòng của
bảng cho thấy một phần của ifstatement đang được thực hiện, tiếp theo của nó
có hiệu lực. Nếu bất kỳ biến đượ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 hiển thị, biến giữ giá trị trước đó của nó. Giá trị cuối cùng được lưu trữ trong biến x là
5.0, và giá trị cuối cùng được lưu trữ trong yis 12.5.
Các dấu vết trong Bảng 4.9 cho thấy 5.0and 12.5are được lưu trữ một cách chính xác trong x và
ywhen điều kiện là đúng. Để xác minh rằng các ifstatement là chính xác, bạn sẽ
cần phải chọn dữ liệu khác mà gây ra các điều kiện để đánh giá sai. Ngoài ra, bạn
nên xác minh rằng tuyên bố 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? Tuyên bố sẽ vẫn cung cấp chính xác
kết quả? Để hoàn thành các dấu vết bàn tay, bạn sẽ cần phải chứng minh rằng các thuật toán
xử lý các tình huống đặc biệt này đúng.
Trong lần theo từng trường hợp, bạn phải cẩn thận để thực hiện báo cáo từng bước
chính xác như máy tính sẽ thực hiện nó. Thường lập trình giả định như thế nào một bước cụ thể sẽ được thực hiện và không kiểm tra một cách rõ ràng từng điều kiện và theo dõi từng
bước. Một dấu vết được thực hiện theo cách này là ít giá trị.