Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm

• Main Author: Nguyễn, Văn Hiếu
• Format: Theses and Dissertations
• Language: other
• Published: Đại học Quốc gia Hà Nội 2016
• Subjects: Phần mềm; Kiểm chứng phần mềm
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/7434
• Institution: Vietnam National University, Hanoi

Giới thiệu tổng quan phần mềm hướng thành phần, đưa ra các khái niệm cơ bản và cách tiếp cận để kiểm chứng phần mềm hướng thành phần. Trình bày chi tiết thuật toán học L*, giải thuật tạo giả định sử dụng thuật toán học L*. Nghiên cứu giải thuật tạo giả định tối thiểu. Đưa ra một phản ví dụ để minh h...