Luận Văn Thạc Sĩ Kiểm Chứng Dịch Vụ Web Với Logic Thời Gian

Discussion in 'Chuyên Ngành Công Nghệ Phần Mềm' started by nhandang123, Aug 17, 2016.

  1. nhandang123

    nhandang123 Guest

    [​IMG]
    Kiểm Chứng Dịch Vụ Web Với Logic Thời Gian
    Tìm hiểu về lý thuyết kiểm chứng phần mềm nói chung, các phương pháp, công cụ kiểm chứng phần mềm. Khái quát về dịch vụ Web, các thành phần cấu thành nên dịch vụ Web, làm rõ những đặc điểm quan trọng của dịch vụ Web. Nêu lên một số ứng dụng thương mại điện tử phân tán đang được phát triển mạnh trên thị trường. Trình bày về kỹ thuật kiểm chứng mô hình - một kỹ thuật kiểm chứng tự động trên các hệ hữu hạn trạng thái, làm rõ các quy trình kiểm chứng, các thuật toán kiểm chứng và các công cụ kiểm chứng NuSMV. Đề xuất phương pháp kiểm chứng mô hình để kiểm chứng các dịch vụ Web dựa trên logic thời gian, tập trung phân tích tính đúng đắn của dịch vụ Web tại một thời điểm giao dịch cụ thể, có xét đến các yếu tố thời gian (hiện tại và quá khứ) trong việc mô hình hóa hệ thống và đưa ra các ví dụ minh họa cho phương pháp đồng thời thử nghiệm ví dụ đó trên công cụ kiểm chứng NuSMV. Trình bày các kết luận và đưa ra hướng nghiên cứu tiếp theo của đề tài: phát triển thêm tính năng mô hình hóa theo phương pháp hình thức cụ thể và áp dụng kiểm chứng với các loại dịch vụ có tính chất khác nhau, phát triển phương pháp này với các hệ thống không đồng bộ có thứ tự, tiếp tục cài đặt thử nghiệm và hoàn thiện công cụ kiểm chứng và hướng tới đưa hệ thống vào ứng dụng trong thực tế.
    • Luận văn thạc sĩ Công nghệ thông tin
    • Chuyên ngành Công nghệ phần mềm
    • Người hướng dẫn khoa học: TS. Trương Ninh Thuận
    • Tác giả: Đào Thị Hường
    • Số trang: 63
    • Kiểu file: PDF
    • Ngôn ngữ: Tiếng Việt
    • Đại học Quốc gia Hà Nội 2009
    Link Download
    http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1008007
    https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
     
    Last edited by a moderator: Aug 29, 2017

Share This Page