Luận Văn Thạc Sĩ Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ Đặc Tả CSP # Và Công Cụ Pat

Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ Đặc Tả CSP # Và Công Cụ Pat ​

Trong thời đại bùng nổ ứng dụng công nghệ thông tin hiện nay, cùng với những cơ hội là rất nhiều thách thức dành cho các nhà phát triển phần mềm. Để đem lại hiệu quả công việc cao nhất và tiết kiệm thời gian, chi phí cho doanh nghiệp, các hệ thống phần mềm khi đưa vào ứng dụng phải đảm bảo các yêu cầu nghiêm ngặt về hiệu năng xử lý và tiết kiệm năng lượng. Một giải pháp là sử dụng các hệ thống xử lý tương tranh giúp tận dụng tối đa tài nguyên phần cứng, cho phép thực hiện nhiều tác vụ cùng lúc. Tuy nhiên, trong phát triển phần mềm, việc xác định tính đúng đắn cho các hệ thống xử lý tương tranh như vậy thường rất khó khăn vì sự tương tác phức tạp giữa các thành phần cùng xử lý trong hệ thống. Các lỗi xuất hiện trong hệ thống xử lý tương tranh thường không có xu hướng lặp lại, vì thế rất khó phát hiện bởi các ca kiểm thử, khi đó sử dụng các kỹ thuật kiểm chứng hình thức là cần thiết. Nội dung của luận văn sẽ tập trung giới thiệu hướng tiếp cận kiểm chứng mô hình cho hệ xử lý tương tranh, đi sâu vào phương pháp mô hình hóa hệ thống. Một ngôn ngữ mô hình hóa cụ thể được giới thiệu trong luận văn là Communicating Sequential Processes Sharp (CSP#), các mô hình đặc tả bằng ngôn ngữ này được sử dụng trong phần kiểm chứng thử nghiệm với bộ công cụ Process Analysis Toolkit (PAT).

• 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. Nguyễn Trường Thắng
• Tác giả: Nguyễn Văn Trãi
• Số trang: 78
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2013

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1045993
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1