Luận Văn Kiểm chứng cài đặt biểu đồ tương tác với uml 2.0

Kiểm chứng cài đặt biểu đồ tương tác với uml 2.0
Tóm tắt

Phần mềm ngày càng được xây dựng và phát triển mạnh mẽ. Phần mềm được tạo ra phải đảm bảo chất lượng. Kiểm chứng phần mềm là một trong những giai đoạn quan trọng trong quy trình sản xuất phần mềm. Kiểm chứng động phần mềm nhằm phát hiện và tìm lỗi trong giai đoạn kiểm thử phần mềm. Phương pháp lập trình hướng khía cạnh ( Aspect Oriented programming - AOP) cùng với công nghệ AspectJ ra đời tạo ra hướng phát triển mới cho kiểm chứng phần mềm, nâng cao khả năng tìm và sửa lỗi phần mềm mà không ảnh hưởng đến mã nguồn hệ thống. Từ yêu cầu thực tế, khi mô hình UML đang là sự lựa chọn phổ biến cho mô hình hóa hệ thống phần mềm ở giai đoạn thiết kế, việc kiểm chứng các ràng buộc giữa các tương tác trong biểu đồ trình tự UML là rất cần thiết. Cùng với yêu cầu thực tế đề ra và lựa chọn AOP là giải pháp giải quyết vấn đề, trong phạm vi khóa luận, tôi xin trình bày phương pháp sinh mã AspectJ tự động phục vụ cho việc kiểm chứng phần mềm với công cụ là plugin Create Aspect tự động sinh mã AspectJ dựa trên phương pháp này. Nội dung chính của phương pháp này dựa trên các kiến thức về AOP, UML, XML, ANNOTATIONS để chuyển đổi các giao thức ràng buộc đối tượng đặc tả bời biểu đồ UML sang modun aspect phục vụ cho việc kiểm chứng. Ý nghĩa thực tiễn là việc sinh ra mã aspect sẽ đan xen vào chương chình thực hiện việc kiểm chứng các ràng buộc giữa các đối tượng trong thời gian chạy.

Mục lục

Chương 1. Mở đầu 1
1.1. Đặt vấn đề 1
1.2. Nội dung bài toán 2
1.3. Tổng quan phương pháp “kiểm chứng cài đặt biểu đồ tương tác với UML 2.0” 2
1.4 . Cấu trúc khóa luận 4
Chương 2. Annotaions , Aspects và UML 2.0 5
2.1. Annotations 5
2.2. Aspect 8
2.3. UML 2.0 10
2.4. Xây dựng máy trạng thái từ biểu đồ trình tự 16
2.5. Tổng kết chương 19
Chương 3 . Xây dựng cộng cụ tự động sinh Aspect từ máy trạng thái 19
3.1. Biểu đồ trình tự và các đoạn gộp 20
3.2. Sinh Aspect từ biểu đồ trình tự 21
3.3. Kết luận 23
Chương 4. Thực nghiệm 24
4.1. Xây dựng công cụ 24
4.2. Kiểm chứng một số giao thức thực tế 27
4.3. Kết luận 45
Chương 5. Kết luận 46
Phụ lục 48
Phụ lục A : Tài liệu XMI mô tả biểu đồ trình tự 48