Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính

• المؤلف الرئيسي: Nguyễn, Văn Quân
• مؤلفون آخرون: Tô, Văn Khánh
• التنسيق: Theses and Dissertations
• اللغة: Vietnamese
• منشور في: 2017
• الموضوعات: Công nghệ phần mềm; Phần mềm máy tính; Lập trình
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/17253
• المؤسسة: Vietnam National University, Hanoi

Đề xuất áp dụng phương pháp kiểm thử cặp đôi (pairwisetesting) thực hiện kiểm thử tăng dần(testinrementally)vào bước kiểm thử của ra SAT cải thiện hiệu quả. Kết quả đạt được đã tốt hơn như mục tiêu ban đầu của luận văn. Cụ thể kết qủa đạt được như sau: Cải thiện số lượng bài toán giải được và thời g...