Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần
Đề xuất một phương pháp sinh các giả định nhỏ nhất và mạnh nhất cục bộ để giảm chi phí của bài toán kiểm chứng giả định - đảm bảo. Ý tưởng chính của phương pháp đề xuất là tích hợp một biến thể của kỹ thuật trả lời các câu truy vấn thành viên vào trong thuật toán học đề xuất được cải tiến từ thuật t...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | Vietnamese |
| Published: |
2020
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/97379 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |