congtunhangheo2_2
New Member
Link tải miễn phí Luận văn: | Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh : Đề tài NCKH. QC. 09 06 |
Nhà xuất bản: | Đại học Quốc gia Hà Nội |
Ngày: | 2009 |
Chủ đề: | Lập trình Java Lập trình hướng khía cạnh Biểu đồ Công nghệ thông tin |
Miêu tả: | 12 tr. Nghiên cứu ngữ nghĩa chuẩn của các biểu đồ tuần tự trong UML. Phương pháp phân tích và đọc định dạng XMI của các biểu đồ UML để trích ra các thông tin ngữ nghĩa và biến chúng thành các máy trạng thái xác định để kiểm chứng được thuận tiện. Nghiên cứu lập trình hướng khía cạnh và cài đặt chức năng kiểm chứng tự động các dãy lời gọi xem chúng có tuân thủ đặc tả hay không. Kết quả nghiên cứu là Thư viện đọc file XMI chứa các biểu đồ tuần tự theo chuẩn UML 2.0. Chương trình phát hiện các lỗi không tuân thủ đặc tả biểu đồ tuần tự UML 2.0 của chương trình. Cài đặt phương pháp kiểm tra tự động dựa trên AOP Đề xuất cách phân tích đặc tả biểu đồ tuần tự UML 2 và chuyển chúng thành máy trạng thái để kiểm chứng tính đúng đắn của chương trình tuân thủ đặc tả đó dựa trên lập trình hướng khía cạnh. Phương pháp đã được cài đặt dưới dạng công cụ phần mềm, có thể dùng để kiểm chứng ở mức dòng lệch. Đề xuất lý thuyết đã được công bố trong một bài báo khoa học tại hội thảo quốc tế (ACOMP2010) |
Ngôn ngữ: | vie |
Kiểu: | Text |
Định dạng: | Text/pdf |
Bảo hiểm: | Thư viện nhà C1T - 144 Xuân Thủy – Cầu Giấy – Hà Nội |
Quyền: | Access limited to members |
Tài liệu đang trong kho của Ket-noi, ai cần thì trả lời để mods up lên cho
Tài liệu đang trong kho của Ket-noi, ai cần thì trả lời để mods up lên cho