Luận Văn Thạc Sĩ Nghiên Cứu Phương Pháp Sinh Dữ Liệu Kiểm Thử Phần Mềm Dựa Trên Kỹ Thuật Kiểm Chứng Mô Hình

Nghiên Cứu Phương Pháp Sinh Dữ Liệu Kiểm Thử Phần Mềm Dựa Trên Kỹ Thuật Kiểm Chứng Mô Hình​

Trong những năm gần đây, việc phát triển phần mềm ngày càng được chuyên nghiệp hóa. Các phần mềm được phát triển ngày càng có quy mô lớn. Yêu cầu đảm bảo chất lượng phần mềm là một trong những mục tiêu quan trọng nhất, đặc biệt trong một số lĩnh vực như y khoa, ngân hàng, hàng không… Việc kiểm thử, kiểm chứng phần mềm một cách thủ công chỉ đảm bảo được phần nào chất lượng của phần mềm. Vì vậy rất nhiều các tổ chức, công ty đã nghiên cứu và phát triển các lý thuyết cũng như công cụ để kiểm chứng, kiểm thử phần mềm một cách tự động. Xuất phát từ nhu cầu thực tế trên, tác giả đã nghiên cứu một số lý thuyết, công cụ trong việc kiểm chứng và kiểm thử phần mềm. Một lý thuyết nền tảng rất quan trọng đó là lý thuyết về tính thỏa được, viết tắt là SMT (Satisfiability Modulo Theories).

• 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ả: Phan Văn Tiến
• Số trang: 54
• 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 2011

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