Luận Văn Thạc Sĩ Nghiên Cứu Về Đặc Tả Và Kiểm Chứng Ràng Buộc Thời Gian Giữa Các Thành Phần Trong Chương Trình Tương

Nghiên Cứu Về Đặc Tả Và Kiểm Chứng Ràng Buộc Thời Gian Giữa Các Thành Phần Trong Chương Trình Tương Tranh ​

Phần mềm hiện đóng một vai trò vô cùng quan trọng trong xã hội [24]. Quá trình phát triển phần mềm gồm rất nhiều giai đoạn: Thu thập yêu cầu, phân tích, thiết kế, xây dựng, kiểm thử, triển khai và bảo trì phần mềm. Trong các giai đoạn trên thì giai đoạn kiểm thử, phát hiện, xác định và sửa lỗi phần mềm là rất quan trọng để đảm bảo chất lượng của phần mềm. Lỗi hệ thống gây ra hậu quả đặc biệt nghiêm trọng không chỉ gây thiệt hại về kinh tế mà còn tổn hại trực tiếp đến sinh mạng con người. Lỗi phần mềm được phát hiện càng muộn thì càng gây hậu quả nghiêm trọng, tốn rất nhiều thời gian và công sức để sửa lỗi, thậm chí phải xây dựng lại toàn bộ hệ thống. Vì vậy, trong công nghệ phần mềm đã có nhiều phương pháp khác nhau được đề xuất và phát triển để giảm lỗi phần mềm từ pha thiết kế đến cài đặt. Các phương pháp kiểm chứng như chứng minh định lý (theorem proving) và kiểm chứng mô hình (model checking) đã ứng dụng thành công để kiểm chứng mô hình thiết kế của phần mềm [7, 5]. Trong nhiều hệ thống, cài đặt thực tế thường chỉ được thực hiện sau khi mô hình thiết kế đã được kiểm chứng. Tuy nhiên việc cài đặt mã nguồn chương trình hoàn toàn có thể vi phạm các ràng buộc thiết kế [34]. Do đó, phần mềm vẫn tồn tại lỗi mặc dù thiết kế của nó đã được kiểm chứng và thẩm định một cách chi tiết.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: PGS. TS. Nguyễn Việt Hà
• Tác giả: Phạm Thanh Hải
• Số trang: 57
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2015

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