Đá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-houseIntegration module, Nonlinear programming, Resource
allocation, Programming modules, Purchased module, Software reliability.
