Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh tt
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (831.7 KB, 3 trang )
ĐẠI HỌC QDỎC GIA HÀ NỘI
r y i ^ - » X J > •
Tên đê tài:
Kiểm chửng chương trình Java
tuân thủ đặc tả UML
bằng lập trình hướng khía cạnh
Mã số: QC.09.06
Chủ nhiệm để tài: Truong Anh Hoàng
ĐA! HỌC QUOC GIA HA NỌI
TRUNG ÍÃM.IHÒNG TIN THƯ VIỀN
Q ồQ 6 0 0 0 0 0 J ~ d
Hà Nội - 2009
1
MỤC LỤC
I. Danh sách những người tham gia thực hiện đề tài 3
II. SUMMARY
.
.
.
4
lil. Báo cáo tổng kết 5
1. Đặt vấn đ ề 5
2. Tổng quan các vấn đề nghiên cửu 5
3. Mục tiêu và nội dung nghiên cứu 5
4. Dịa điểm, thời gian và phương pháp nghiên cứu
6
5. Kết quá nghiên cứu 6
Phần 1. Tổng quan về phương pháp 6
Phần 2. Trích thông tin của biểu đồ tuần tự trong UML 7
Phần 3. Xây dựng máy trạng thái hữu hạn đơn định 8
Phần 4. Kiểm tra lỗi dựa trên AOP 9
Phần 5. Thử nghiệm và đánh giá 9
Phàn 6. Kết luận 9
6. Ket quà dào tạo 10
7. Kết quả ứng dụng 10
8. Thào luận, kết luận và kiến nghị 10
9. Tài liệu tham khảo
.
10
[V. Phụ lục ;
.
:ll
V. Tóm tắt các kết quả nghiên cứu chỉnh của đề tà i
12
2
Tóm tắt
Đề xuất mô hình tự động sinh mã kiểm chứng cho chương
trình Java từ đặc tả UML. Xây dựng công cụ sinh mã kiểm
chứng giao thức tương tác cho chương trình Java. Thử nghiệm
trên hệ thống nhúng.
