duy_anh_o2
New Member
Luận văn: | Kiểm chứng các thành phần Java tương tranh : Luận án TS. Công nghệ thông tin: 62 48 10 01 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2011 |
Chủ đề: | Hệ thống tương tranh Kiểm chứng phần mềm Java tương tranh |
Miêu tả: | 130 tr. + CD-ROM+Tóm tắt Luận án TS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2011 Trong các hệ thống tương tranh và chia sẻ các tài nguyên dùng chung sự tranh chấp tài nguyên và thứ tự thực hiện có thể gây nhiều vấn đề, ví dụ như các kết quả không nhất quán trong mỗi lần thực thi. Luận án đã đề xuất các phương pháp để kiểm chứng sự đúng đắn của các hệ thống tương tranh ở mức thiết kế và mức mã nguồn chương trình. Ở mức thiết kế luận án đề xuất các kĩ thuật đặc tả hình thức hệ thống tương tranh sử dụng Event-B để phát hiện lỗi thiết kế. Ở mức cài đặt, luận án đề xuất các phương pháp sử dụng phương pháp lập trình hướng khía cạnh và bộ công cụ JPF (Java PathFinder) để kiểm chứng sự tuân thủ giữa sự cài đặt của các chương trình Java tương tranh so với đặc tả thiết kế của nó. Luận án đã xây dựng công cụ kiểm chứng PVG và chạy thử nghiệm với một số ví dụ tiêu biểu. Kết quả cho thấy các đóng góp của luận án có thể được sử dụng để đặc tả và kiểm chứng một số ràng buộc tương tranh từ pha thiết kế đến cài đặt mã nguồn chương trình Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links