Luận Văn Thạc Sĩ Nghiên Cứu Kỹ Thuật Giải Thích Trừu Tượng

Nghiên Cứu Kỹ Thuật Giải Thích Trừu Tượng​

Ngày nay, các hệ thống phần mềm được sử dụng một cách phổ biến trên tất cả các lĩnh vực của đời sống, trong sản xuất, kinh doanh như: kinh tế, tài chính, kế toán, y tế, giáo dục, chính phủ,… , và trong các thiết bị điện tử công nghiệp và dân dụng, nó được phát triển trở lên ngày càng phức tạp. Sự phức tạp này còn lớn hơn đối với các hệ thống điều khiển và các hệ thống nhúng trong các thiết bị công nghiệp, hàng không, vũ trụ, … Đối với những đơn vị, cá nhân và các tổ chức làm phần mềm chuyên nghiệp họ đều hiểu rằng một sản phẩm phần mềm được họ tạo ra không thể nào chạy một cách hoàn hảo ngay từ lúc đầu tiên mà không mắc bất kỳ một lỗi gì. Trong quá trình phát triển và đưa vào sử dụng một phần mềm bất kỳ, thì hầu hết tất cả các lỗi chỉ được phát hiện sau khi phần mềm đó được đưa vào sử dụng. Do vậy, các hoạt động kiểm thử đóng góp một vai trò rất quan trọng nhằm đảm bảo chất lượng của các hệ thống phần mềm.

• Luận văn thạc sĩ khoa học
• Chuyên ngành Cơ sở toán học cho tin học
• Người hướng dẫn khoa học: TS. Nguyễn Trường Thắng
• Tác giả: Nguyễn Thanh Liêm
• Số trang: 90
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2014

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1057616&sp=T&sp=3&suite=def
http://sachviet.edu.vn/forums/dvd-ebook-luan-van.117/
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1