Sau khi đặc tả giao thức cần kiểm chứng bằng UML, công cụ StarUML
ỗ trợ xuất biểu đồ UML ra dạng XMI và đây chính là đầu vào cho công cụPVG của tôi.
Áp dụng phương pháp được giới thiệu ở các chương trước, tôi đã cài đ ặt thành
công chương trình tự sinh mã aspect từ tài liệu XMI. Trong phương pháp này, tôi sử
dụng công cụ Netbeans 6.5 với framework JDK đểcài đặt công cụ. Giao diện làm việc
trên Netbeans 6.5 được minh họa như sau:
Hình 6.1: Cài đặt PVG bằng công cụ Netbeans 6.5
Thuật toán cơ bản của phương pháp này là việc phân tích tài liệu XMI, xây dựng các cấu trúc dữ liệu để mô tả biểu đồ UML bằng các đối tượng trong Java. Từđó xây
dựng máy trạng thái. Duyệt các trạng thái trong máy trạng thái, phân tích vào các vị trí thích hợp trong xâu aspect mẫu được khai báo từ trước. Xâu aspect mẫu sẽ tuân theo cú pháp của một aspect cơ bản, bao gồm tên aspect, vùng pointcut và vùng advice. Thuật toán duyệt các trạng thái trong máy trạng thái thực chất là việc duyệt các key của
56
FSM, lấy dữ liệu của từng trạng thái, sử dụng các phương thức thao tác với xâu ký tự để tạo ra các aspecttương ứng.
Cài đặt công cụ thông qua một sốbước như:
- Bước 1: Tạo ra các cấu trúc dữ liệu mô tả biểu đồ trạng thái và biểu đồ
trình tự UML.
- Bước 2: Cài đặt thuật toán xây dựng FSM
- Bước 3: Cài đặt thuật toán xây dựng bộ sinh tựđộng mã aspect
- Bước 4: Tích hợp thành chương trình hoàn chỉnh.
Hoàn tất quá trình cài đặt, tôi thu được công cụ tự sinh mã aspect kiểm chứng.