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 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ị.
đang được dịch, vui lòng đợi..