Đá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.