1. Trang chủ
  2. Luận Văn - Báo Cáo

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

36 543 0
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

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

. ĐẠ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!. xác định để kiểm chứng dược thuận tiện trong birớc tiếp theo. - Nghicn cứu lập trình hướng khía cạnh và cài dặt chức năng kiểm chứng tự dộng các dãy lời gọi xem chúng có tuân thù đặc tà hay không sự tuân thù. - Nghiên cứu JPF và cài đặt chức năng kiểm chứng tự dộng các dãy lời gụi xem chúng có tuân thù đặc tả hay không. - Nghiên cứu khả năng kiểm tra các đường còn lại trong chương trình

Ngày đăng: 19/03/2015, 10:14

Xem thêm: 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, 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, 9 Tài liệu tham khảo, V. Tóm tắt các kết quả nghiên cứu chính của đề tài

Từ khóa liên quan

Mục lục

  • MỤC LỤC

  • I. Danh sách nhũng ngườii tham gia thực hiện đề tài

  • II. SUMMARY

  • III. Báo cáo tổng kết

  • 1. Đặt vân đẻ

  • 2. Tổng quan các vân đẽ nghiên cửu

  • 3. Mục tiêu và nội dung nglìiên cửu

  • -Ị. Dịa diêm, thời gian và phương pháp nghiên củv

  • 5. Kết quả nghiên cứu

  • Phần I. Tổng quan về phương pháp

  • Phần 2. Trích thông tin của biểu đồ tuần tự trong UML

  • Phần 3. Xây dựng máy trạng thái hữu hạn đon định

  • Phần 4. Kiềm tra lỗi dựa trên AOP

  • Phần 5. Thử nghiệm và đánh giá

  • Phần 6. Kết luận

  • 6. Kết quả đào tạo

  • 7 Kết quả ứng dụng

  • 8 Thảo luận, kết luận và kiến nghị

  • 9 Tài liệu tham khảo

  • IV. Phụ lục

Tài liệu cùng người dùng

Tài liệu liên quan