Thạc Sĩ Một giải pháp toán học cho việc phân phối tài nguyên trong độ tin cậy phần mềm

TÓM TẮT LUẬN VĂN
Đánh giá độ tin cậy phần mềm là một vấn đề quan trọng trong việc đánh giá chất
lượng của một phần mềm. Quá trình này thường được thực hiện trong các giai đoạn
thiết kế phần mềm, kiểm tra lỗi phần mềm.
Công việc kiểm tra lỗi phần mềm được triển khai xuyên suốt các giai đoạn phát
triển phần mềm, công việc này giúp giảm chi phí và nâng cao chất lượng phần mềm
khi triển khai cho khách hàng. Trong thời gian hệ thống kiểm tra, việc đo lường độ tin
cậy phần mềm là tiêu chuẩn quan trọng có tác dụng quyết định có nên công bố phần
mềm phần này hay không.
Ngoài ra, một vấn đề rất quan trọng quyết định sự thành bại của phần mềm và
đang làm đau đầu các nhà quản lý dự án. Đó là làm thế nào để phân phối chi phí một
cách hiệu quả nhằm tạo ra một phần mềm có tính tin cậy cao. Đã có một số phương
pháp giải quyết bài toán được hiện thực theo một số mô hình toán học. Phương pháp
kết hợp quy hoạch nguyên và quy hoạch phi tuyến là một giải pháp hữu hiệu để giải
quyết vấn đề này.
Đề tài này trình bày một giải pháp toán học đa bước để phân phối tài nguyên cho
độ tin cậy phần mềm. Sử dụng quy hoạch nguyên nhị phân để thực hiện việc phân phối
chi phí cho các module mua. Sử dụng quy hoạch phi tuyến để thực hiệc việc phân phối
chi phí cho các module phát triển trong công ty. Thông qua việc kết hợp này, luận văn
đã xây dựng được giải pháp cho phép giải quyết bài toán theo hai hướng: tìm độ tin
cậy lớn nhất có thể có của phần mềm mà không vượt quá giới hạn chi phí đã cho và
ngược lại tìm chi phí nhỏ nhất để phần mềm có độ tin cậy là một giá trị xác định trước.
Chương trình hiện thực đã cung cấp được một lời giải với độ chính xác tương đối cho
một số minh họa cụ thể.
Từ khoá: Algorithm, Binary Integer Programming, Branch and Bound,
Developed module, In-house Integration module, Nonlinear programming, Resource
allocation, Programming modules, Purchased module, Software reliability.