LUẬN VĂN: KIỂM CHỨNG CÁC GIAO THỨC BẰNG AOP

Kiểm chứng phần mềm có một vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống phần mềm trong suốt quá trình thực thi,kiểm chứng giúp phát hiện, tìm ra lỗi và thông báo lỗi cho nhà phát triển. Phương pháp lập trình hướng khía cạnh (AOP) cùng với công nghệ AspectJ ra đời đã tạo ra một hướng phát triển mới cho kiểm chứng phần mềm, giúp nâng cao khả năng dò tìm lỗi, thông báo lỗi mà không ảnh hưởng tới mã nguồn hệ thống....
Nội dung trích xuất từ tài liệu:
LUẬN VĂN:KIỂM CHỨNG CÁC GIAO THỨC BẰNG AOP ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Thân Văn ĐứcKIỂM CHỨNG CÁC GIAO THỨC BẰNG AOP KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công nghệ thông tin HÀ NỘI - 2010 1 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Thân Văn ĐứcKIỂM CHỨNG CÁC GIAO THỨC BẰNG AOP KHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngành: Công nghệ thông tin Cán bộ hướng dẫn: Ths.Phạm Thị Kim Dung HÀ NỘI - 2010 2 Lời cảm ơn Trong quá trình thực hiện đề tài, tôi đã gặp rất nhiều khó khăn và bỡ ngỡ. Nếu khôngcó sự giúp đỡ và lời động viên chân thành của nhiều người có lẽ tôi khó có thể hoàn thànhtốt khóa luận này. Đầu tiên tôi xin tỏ lòng biết ơn sâu sắc đến Cô Phạm Thị Kim Dung đã tận tìnhhướng dẫn trong suốt quá trình viết khóa luận tốt nghiệp. Tôi muốn gửi lời cảm ơn đến các thầy giáo cô giáo trong hội đồng bảo vệ. Những ýkiến đóng góp của cô là vô cùng hữu ích, nó giúp tôi nhận ra các khuyết điểm của khóaluận. Tôi xin chân thành cảm ơn quý Thầy, Cô và bạn bè trong khoa Công nghệ thông tin,trường Đại học Công Nghệ- Đại học Quốc Gia- Hà Nội đã tận tình truyền đạt kiến thức,sát cánh và trải nghiệm cùng tôi trong suốt 4 năm học tập. Với vốn kiến thức được tiếpthu trong quá trình học không chỉ là nền tảng cho quá trình nghiên cứu khóa luận mà cònlà hành trang quí báu để tôi bước vào đời một cách vững chắc và tự tin. Con xin cảm ơn cha mẹ, những người đã có công sinh thành, dưỡng dục và nuôi dạycon nên người. Cuối cùng tôi kính chúc quý thầy, cô dồi dào sức khỏe, đạt được nhiều thành côngtrong công việc và cuộc sống. 3 TÓM TẮT NỘI DUNG Kiểm chứng phần mềm có một vai trò quan trọng trong việc đảm bảo tính đúng đắncủa hệ thống phần mềm trong suốt quá trình thực thi,kiểm chứng giúp phát hiện, tìm ra lỗivà thông báo lỗi cho nhà phát triển. Phương pháp lập trình hướng khía cạnh (AOP) cùngvới công nghệ AspectJ ra đời đã tạo ra một hướng phát triển mới cho kiểm chứng phầnmềm, giúp nâng cao khả năng dò tìm lỗi, thông báo lỗi mà không ảnh hưởng tới mã nguồnhệ thống. Trong thực tế, biểu đồ UML là sự lựa chọn rất phổ biến cho việc mô hình hóahệ thống phần mềm ở giai đoạn thiết kế hiện nay. Trong đó, biểu đồ tuần tự (sequencediagram) là một biểu đồ quan trọng, nó miêu tả các cách thức đối tượng tương tác và giaotiếp với nhau. Việc kiểm chứng thiết kế và kiểm chứng các giao thức ràng buộc trong biểuđồ trình tự là rất cần quan trọng vì nếu thiết kế biểu đồ tuần tự sai kéo theo các hoạt độngcủa hệ thống hoặc trình tự hệ thống cần thực hiện sẽ bị sai dẫn tới toàn bộ hệ thống thiếtkế sai. Trong phạm vi khóa luận, tôi xin trình bày phương pháp sinh mã aspect phục vụcho mục đích kiểm chứng phần mềm từ biểu đồ tuần tự kết hợp với máy trạng thái vàcông cụ tự động sinh mã aspect dựa trên phương pháp này. Mã aspect tạo ra từ công cụ cóthể dùng đan vào chương trình để thực hiện nhiệm vụ kiểm chứng các ràng buộc giữa cácđối tượng và tính đúng đắn của hệ thống nhằm giảm thiểu tối đa lỗi khi viết mã cài đặtcho hệ thống. 4 MỤC LỤCChương 1. Mở Đầu .................................................................................................... 8 1.1. Đặt vấn đề ......................................................................................................... 8 1.2.Bài toán .............................................................................................................. 8 1.3. Tổng quan về phương pháp giải quyết bài toán .................................................. 9 1.4. Cấu trúc khóa luận............................................................................................. 9Chương 2. Ngôn ngữ UML và biểu diễn biểu đồ trong UML bằng XMI. ............. 11 2.1. Giới thiệu chung về UML:............................................................................... 11 2.2. Các loại biểu đồ UML ..................................................................................... 12 2.2.1. Nhóm biểu đồ về cấu trúc ........................................................................ 12 2.2.2. Nhóm biểu đồ hành vi .............................................................................. 12 2.3. Biểu đồ tuần tự trong UML2.0(Sequence diagram) ......................................... 12 2.4. Một số thành phần chính trong biểu đồ tuần tự ................................................ 14 2.4.1. Đường đời (lifeLine) ....................................................................... ...