tailieunhanh - Luận văn:Phương pháp kiểm chứng tính đúng đắn của một chương trình Java đa luồng thông qua sử dụng logic Hoare

Có rất nhiều phương pháp để kiểm chứng tính đúng đắn của một chương trình Java đa luồng. Một trong các phương pháp đó là sử dụng logic Hoare. Kiểm chứng tính đúng đắn của một chương trình Java đa luồng sử dụng logic Hoare yêu cầu ta cần phải chứng minh một chương trình được bổ sung và chú thích dưới sự thi hành của các lệnh phải thỏa mãn: Nếu bước tính toán thi hành một phép gán, thì ta sử dụng các điều kiện tính đúng đắn cục bộ để chứng minh tính quy nạp của sự. | TRƯỜNG KHOA. . . Báo cáo tôt nghiệp Đê tài Phương pháp kiểm chứng tính đúng đắn của một chương trình Java đa luồng thông qua sử dụng logic Hoare - 1 - TÓM TẮT KHÓA LUẬN Có rất nhiều phương pháp để kiểm chứng tính đúng đắn của một chương trình Java đa luồng. Một trong các phương pháp đó là sử dụng logic Hoare. Kiểm chứng tính đúng đắn của một chương trình Java đa luồng sử dụng logic Hoare yêu cầu ta cần phải chứng minh một chương trình được bổ sung và chú thích dưới sự thi hành của các lệnh phải thỏa mãn Nếu bước tính toán thi hành một phép gán thì ta sử dụng các điều kiện tính đúng đắn cục bộ để chứng minh tính quy nạp của sự thi hành các thuộc tính của cấu hình cục bộ và kiểm tra tính không có can thiệp đối với tất cả các cấu hình cục bộ khác và các bất biến lớp khác. Đối với giao tiếp tính bất biến đối với thi hành các đối tác và bất biến toàn cục được chứng tỏ thông qua kiểm tra sự hợp tác đối với giao tiếp. Giao tiếp với chính nó không ảnh hưởng trạng thái toàn cục tính bất biến của các thuộc tính còn lại dưới các quan sát tương ứng được chứng tỏ thông qua kiểm tra tính không có can thiệp. Cuối cùng đối với tạo đối tượng tính bất biến đối với bất biến toàn cục tạo cấu hình cục bộ bất biến lớp của đối tượng được tạo được đảm bảo các điều kiện của kiểm tra hợp tác đối với tạo đối tượng tất cả các thuộc tính khác được chứng tỏ là bất biến thông qua sử dụng kiểm tra tính không có can thiệp. - 2 - MỤC LỤC TÓM TẮT KHÓA 1 - MỞ ĐẦU. - 4 - CHƯƠNG 1. LOGIC 6 - . Logic vị 6 - . Các tiên đề của Logic 9 - . Các công thức đúng cú pháp cho chứng minh chương 9 - . Tiên đề của phép 10 - . Các quy tắc bổ 10 - CHƯƠNG 2. NGÔN NGỮ TUẦN 12 - . Cú 13 - . Ngữ 16 - . Trạng thái và các cấu 16 - . Các ngữ nghĩa toán 18 - . Ngôn ngữ khẳng 20 - . Cú 20 - . Ngữ 21 - . Hệ chứng 25 - . Phác thảo chứng 26 - . Kiểm .