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...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | Theses and Dissertations |
| اللغة: | other |
| منشور في: |
Đại học Quốc gia Hà Nội
2016
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/7434 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | Vietnam National University, Hanoi |
| اللغة: | other |