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...
Saved in:
| 主要作者: | |
|---|---|
| 格式: | Theses and Dissertations |
| 語言: | other |
| 出版: |
Đại học Quốc gia Hà Nội
2016
|
| 主題: | |
| 在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/7434 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|