TAILIEUCHUNG - Tóm tắt Luận văn Thạc sĩ Công nghệ thông tin: Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Lập trình hướng khía cạnh dựa trên sự kiện (EAOP) mô hình cho phép xem xét hệ thống mối quan hệ giữa point-cut và để thực hiện các aspect khi nhận được sự kiện được phát sinh bởi chương trình cơ bản. Tuy nhiên, mô hình này không đi kèm với phương pháp đặc tả cụ thể chính thức cũng như không cung cấp bất kỳ cơ chế để xác minh tính chất của nó chính thức. | 3 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ PHẠM NHƯ UYỂN MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC CHƯƠNG TRÌNH PHẦN MỀM HƯỚNG KHÍA CẠNH Ngành: Công nghệ Thông tin Chuyên ngành: Kỹ thuật Phần mềm Mã số: 60480103 NGƯỜI HƯỚNG DẪN KHOA HỌC: Trương Ninh Thuận HÀ NỘI - 2016 4 CHƯƠNG 1: ĐẶT VẤN ĐỀ Sự cần thiết của đề tài Có rất nhiều công trình nghiên cứu tập trung vào kiểm chứng mô hình hướng khía cạnh sử dụng các kỹ thuật khác nhau như UML [10], kiểm chứng mô hình (model checking) [9], Petri-net [4], và B [7] nhưng không phù hợp với một hệ thống dựa trên các sự kiện. Một số công trình nghiên cứu đã khai thác những kí hiệu của UML hoặc mở rộng những kí hiệu UML để cụ thể hóa những vấn đề crosscutting. Tuy nhiên, những nghiên cứu này đã không giải quyết những khía cạnh kiểm chứng do bản chất không chính thức hoặc bán chính thức của UML. Ubayashi và Tamain [8] đã đề xuất một phương pháp để kiểm chứng chương trình AOP sử dụng mô hình kiểm tra. Phương pháp nhằm vào các giai đoạn lập trình và ứng dụng các mô hình kiểm tra để có kết quả đan code của lớp và aspect. Phương pháp này đảm bảo sự chính xác trong kiểm chứng, tuy nhiên lại bỏ qua các vấn đề kiểm chứng mô đun. Điều này có nghĩa là rất khó có thể sử dụng phương pháp này để xác minh phần mềm lớn. Dianxiang Xu [9] đã đề xuất sử dụng máy trạng thái và kiểm chứng những chương trình sử dụng aspect. Chúng đã chuyển hóa các mô hình đan và các lớp mô hình không bị ảnh hưởng bởi aspect thành các chương trình FSP, mà sẽ được kiểm chứng bởi mô hình LTSA chống lại các thuộc tính hệ thống mong muốn. Tuy nhiên, phương pháp này cần phải chuyển hóa chương trình cơ bản và aspect sang mô hình trạng thái trước khi khởi động mô hình FSP [7] Sử dụng B để kiểm chứng đan aspect. Tác giả này trình bày lớp cơ bản và một số aspect .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ
• Kỹ thuật phần mềm
• Mô hình hóa
• Chương trình phần mềm
• Lập trình hướng khía cạnh
• Phương pháp đặc tả
• Dự thảo tóm tắt Luận án Tiến sĩ
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh