Theo định nghĩa của chúng tôi, T2 là tập hợp của tất cả các báo cáo lỗi, và cho bất kỳ tk 2 T2, chúng tôi có một chức năng T2 mà trả về một tập hợp con của các lớp học Ck0 C ¼ fc1;...; cMg sửa đổi để sửa chữa một lỗi. Histrace sử dụng các báo cáo lỗi và một IR dựa trên kỹ thuật để tính toán 0ri; tk. sử dụng T1, Histrace xây dựngR2CT2; rj tk như đã giải thích ở trên.2. http://www.ptidej.net/download/ibdoos/. bug434 báo cáo lỗi để yêu cầu r11. Sau đó, nó có thể liên kết
đang được dịch, vui lòng đợi..
