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
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...
Lưu vào:
Tác giả chính: | |
---|---|
Định dạng: | Luận án |
Ngôn ngữ: | other |
Thông tin xuất bản: |
Đại học Quốc gia Hà Nội
2016
|
Chủ đề: | |
Truy cập trực tuyến: | http://repository.vnu.edu.vn/handle/VNU_123/7434 |
Từ khóa: |
Thêm từ khóa bạn đọc
Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!
|