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

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

ĐẠI HỌC Q D Ỏ C GIA HÀ NỘI

r y i ^ - » X J > •

Tê n đê tài:

K iể m c h ử n g c h ư ơ n g trình Java

tuân thủ đ ặc tả U M L

b ằ n g lập trình h ư ớ n g khía cạnh

M ã số: QC.09.06

C h ủ nhi ệm để tài: T r u o n g Anh Hoàng

ĐA! HỌC Q UOC 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 SU M M A RY 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 p h á p 6

Phần 2 Trích thông tin của biểu đồ tuần tự trong U M L 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 A O P 9

Phần 5 Thử nghiệm và đánh g i á 9

Phàn 6 Kết l u ậ n 9

6 Ke t q u à d à o t ạ o 10

7 Kết quả ứng d ụ n g 10

8 Thào luận, kết luận và kiến n g h ị 10

9 Tài liệu tham k h ả o 10

[V Phụ lụ c ; : l l 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