Luận Văn Thạc Sĩ Phát Triển Các Kỹ Thuật Tìm Bất Biến (Invariants) Và Biến (Variants) Cho Việc Sử Dụng Hoare Logic

Phát Triển Các Kỹ Thuật Tìm Bất Biến (Invariants) Và Biến (Variants) Cho Việc Sử Dụng Hoare Logic Để Chứng Minh Tính Đúng Đắn Của Chu Trình​

Trong suốt quá trình tôi được học tập, nghiên cứu tại trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội. Bản thân đã được tiếp xúc với nhiều kiến thức mới, quan trọng, được ứng dụng mạnh mẽ trong các lĩnh vực rộng lớn của CNTT. Là một giáo viên giảng dạy bộ môn tin học tại cấp THPT, tôi thường xuyên tiếp xúc và hướng dẫn học sinh những kiến thức cơ bản về ngôn ngữ lập trình trên cơ sở là ngôn ngữ Pascal. Do đó, tôi đặc biệt có hứng thú với bộ môn kiểm thử. Việc kiểm tra một chương trình xem nó có đúng, chạy tốt, phù hợp với yêu cầu của người lập trình hay không luôn là một vấn đề quan trọng, mang tính thời đại đối với mọi lập trình viên cũng như các nhà quản lý phần mềm. Cả dự án có thể bị ảnh hưởng nếu gặp những lỗi nghiêm trọng trong việc viết mã. Trong những tính chất đảm bảo chương trình phù hợp với yêu cầu, có một tính chất rất quan trọng đó là tính đúng đắn.

• 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: TS. Đặng Văn Hưng
• Tác giả: Nguyễn Minh Hải
• Số trang: 66
• Ngôn ngữ: Tiếng Việt
• Đại học quốc gia Hà Nội 2016

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