toi_la_viet_anh
New Member
| Luận văn: | Kiểm chứng dịch vụ Web với logic thời gian : Luận văn ThS. Công nghệ thông tin: 60 48 01 |
| Nhà xuất bản: | ĐHCN |
| Ngày: | 2009 |
| Chủ đề: | Công nghệ phần mềm Dịch vụ Web Kiểm chứng mô hình |
| Miêu tả: | 58 tr. + CD-ROM Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2009 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ế Electronic Resources |
| Kiểu: | text |
| Định dạng: | text/pdf |
You must be registered for see links