1. 4 Cấu trúc khóa luận
4.1. Xây dựng công cụ
Sau khi đặc tả giao thức kiểm chứng bằng UML, công cụ altova Umodel2 hỗ trợ xuất biểu đồ ra dạng XMI và đây chính là đầu vào cho công cụ của tôi.
Áp dụng phương pháp đã giới thiệu ở các chương trước, tôi đã cái đặt thành công công cụ tự động sinh Aspect từ tài liệu XMI. Trong phương pháp này tối sử dụng công cụ eclipse3 và framework JDK để cài đặt công cụ. Giao diện làm việc của eclipse được minh họa như sau :
Hình 5.1a : Cài đặt bằng công cụ eclipse
Thuật toán cơ bản của phương pháp là việc phân tích tài liệu XMI, xây dựng cấu trúc mô tả các thành phần của biểu đồ trình tự UML. Từ đó, xây dựng máy trạng thái mô tả biểu đồ. Qua việc duyệt danh sách các trạng thái, phân tích tìm vị trí thích
2http://www.altova.com/umodel.html
25
hợp của sinh ra xâu chứa nội dung Aspect, xâu Aspect chứa các nội dung tuân theo cấu trúc của Aspect. Về thực chất quá trình này thông qua các thông điệp để xác định nguồn và đích tương ứng mới phương thức được gọi, để sinh ra Aspect.
Cài đặt công cụ thông qua các bước :
- Bước 1 : Tạo ra cấu trúc dữ liệu lưu các thông tin về biểu đồ trình tự. - Bước 2 : Cài đặt thuật toán sinh ra máy trạng thái (FSM).
- Bước 3 : Cài đặt thuật toán sinh tự động Aspect.
Hoàn tất quá trình cài đặt trên, tôi thu được công cụ tự động sinh mã kiểm chứng. Về công cụ của tôi, sau khi cài đặt như trên, tôi cài đặt dưới dạng một plugin dành cho eclipse. Với tên “org.eclipse.adj.creattoxmi”, để hoạt động được công cụ, đầu tiên phải copy file “org.eclipse.adj.creattoxmi.jar” vào thư mục “plugins” của eclipse. Khi đó, công cụ của tôi sẽ là một plugin dành cho eclipse, dưới đây là hình mô tả hoạt động của công cụ.
Hình 5.1b : mô tả hoạt động của công cụ.
Để hoạt động công của của tôi cài đặt, có một số yêu cầu như sau :
- Thứ nhất : copy file org.eclipse.adj.creattoxmi.jar vào thư mục plugins của eclipse.
26
- Thứ hai : import file Implement-Java.jar vào thư viện của project.
- Các file xmi được để trong một package của project.Mặc định, Aspect được sinh ra sẽ nằm trong package này.
- Hoạt động:
o Chọn file xmi cần chuyển qua Aspect.
o Nhấn ctrl + N
o Chọn Create Aspect from Xmi
Hình 5.1.c : Lựa chọn chức năng
o Đặt lại tên và địa điểm để aspect nếu cần. Nếu không Aspect được sinh ra có tên trùng với tên của file XMI được chọn và ở trong package chứa file XMI đó.
27
Hình 5.1d: Giao diện đặt tên cho aspect sinh ra
Nếu không có file XMI nào được chọn hoặc Aspect không sinh ra được thì sẽ tạo ra một Aspect mặc định không có nội dung bên trong.