Luận Văn Thạc Sĩ Phân Tích Tĩnh Chương Trình Bằng Phương Pháp Giải Thích Trừu Tượng

Phân Tích Tĩnh Chương Trình Bằng Phương Pháp Giải Thích Trừu Tượng​

Ngày nay, phần mềm xuất hiện ở khắp mọi nơi và trong hầu hết các thiết bị điện tử đều sử dụng phần mềm trong đó. Phần mềm không đơn giản là chương trình trên máy tính mà nó bao gồm cả tư liệu lưu trữ và thông tin vận hành giúp chương trình có thể hoạt động được. Vì những ứng dụng to lớn của phần mềm trong các ngành sản xuất, tài chính ngân hàng, y tế, bệnh viện, trường học, nhà nước,...nên yêu cầu rất lớn đặt ra đó là xây dựng, phát triển và ứng dụng công nghệ phần mềm.
Trong luận văn này tôi xin giới thiệu một phương pháp kiểm tra đánh giá chất lượng phần mềm mới đó là phân tích tĩnh chương trình. Với mục tiêu: Đưa ra một cách nhìn nhận mới về việc lập xây dựng và kiểm tra sự đúng đắn của chương trình đó là sử dụng phương pháp phân tích tĩnh chương trình. Áp dụng các công cụ để phân tích chương trình, kiểm tra sự đúng đắn của chương trình bằng giải thích trừu tượng (Abstract Interpretation)

• Luận văn thạc sĩ Khoa học máy tính
• Chuyên ngành Khoa học máy tính
• Người hướng dẫn khoa học: TS. Nguyễn Trường Thắng
• Tác giả: Nguyễn Thanh Bằng
• Số trang: 65
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Thái Nguyên 2013

Link Download
http://tailieudientu.lrc.tnu.edu.vn...-phuong-phap-giai-thich-truu-tuong-43242.html
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1