Bài giảng Cung cấp chi phí cho độ tin cậy phần mềm (Cost Allocation For Software Reliability)

Bài giảng Cung cấp chi phí cho độ tin cậy phần mềm (Cost Allocation For Software Reliability) nêu lên độ tin cậy của một module được phát triển in-house, độ tin cậy của một module mua, độ tin cậy của một module tích hợp, mô hình quyết định trước, mô hình chung.
Nội dung trích xuất từ tài liệu:
Bài giảng Cung cấp chi phí cho độ tin cậy phần mềm (Cost Allocation For Software Reliability) CUNG CẤP CHI PHÍ CHO ĐỘ TIN CẬY PHẦN MỀM(Cost Allocation For Software Reliability) Nội dung chính cần trình bày• Giới thiệu• Độ tin cậy của một module được phát triển in-house• Độ tin cậy của một module mua• Độ tin cậy của một module tích hợp• Mô hình quyết định trước• Ví dụ• Mô hình chung Giới thiệuĐộ tin cậy phần mềm:• Độ tin cậy phần mềm được định nghĩa đó là xác suất của sự thành công.• Được thực hiện: đo hoạt động phần mềm trong một đơn vị thời gian, trong một môi trường nhất định.• Là một thuộc tính của chất lượng phần mềm. Giới thiệu (tt) Sự cần thiết cho độ tin cậy phầnmềm• Dựa vào máy tính để gia tăng hiệu suất côngviệc.• Máy tính đã được con người gắn kết vào hầu hếtmọi thiết bị máy móc.• Khoa học kỹ thuật đòi hỏi tốc độ về tính toán cũngnhư độ chính xác.• Một vấn đề đang làm đau đầu các nhà quản lý: sựphân bổ tài nguyên, nguồn lực, thời gian trong các dựán phần mềm. Giới thiệu (tt)Giải quyết bài toán• Xác định các mudule phần mềm• Lựa chọn module dùng lại• Dự đoán tài nguyên (chi phí) và độ tin cậy• Tính toán độ tin cậy của phần mềm Giới thiệu (tt)Cấu trúc của một hệ thống phần mềm là cócấp bậc (cây cấu trúc): Database indexing Database indexing (6) (6) Parser Parser (1) (1) Keyword (5) Index generator (3) Version 11 Analyzer (4) Stemmer (2)Version 12 Version 21 Version 220i Độ tin cậy của một module đơn được phát triển trong công ty Độ tin cậy của một module i là ri : r  ((r  i ( xi  xi( 0 ) ) m ( m) ( 0)  ri )e ) xi  xi( 0) ri   i i ( 0) (1)  0 xi  x i trong đó: xi( 0 ) : là chi phí căn bản cần thiết cho việc phát triển module i trong công ty ( 0) ri : độ tin cậy ban đầu của module i ri(m ) : độ tin cậy lớn nhất có thể đạt được của module i  i : một thông số phản ảnh độ nhạy của độ tin cậy mỗi khi có sự thay đổi chi phí Độ tin cậy của một module đơnđược phát triển trong công ty (tt)Giá trị lớn sẽ tác động đến việc thay đổi chiphí.Khi thìvà khi thì .Hàm độ tin cậy của công thức (1) 100 Độ tin cậy của một module mua• Cho là một biến nhị phân. Có giá trị là 1 nếu version của module i là được mua, ngược lại có giá trị là 0.• Để đảm bảo chỉ có duy nhất một version mua cần đạt đến kết quả: ni  j 1 y ij  1• Độ tin cậy của bất kỳ một mudule mua i: ni ri   yij rij (2) j 1và có chi phí là: ni  j 1 y ij c ij Độ tin cậy của một module tích hợp• Cho Ti là một module tích hợp với các con Ti : (i1 , i2 ,..., is )• Độ tin cậy lớn nhất có thể đạt được của module i: (m) s r Ti  k 1 rjk trong đó rjk là độ tin cậy các con Ti. s• Độ tin cậy ban đầu: rT(i0)  qTi k 1 rjk  qTi rT(i m ) trong đó: qTi (0 < qTi < 1): một hệ số phản ánh những lỗi chung trên độ tin cậy ban đầu.• Độ tin cậy của gốc Ti là: (0) r ( m )  ((r ( m )  r ( 0) )e Ti ( xTi  xTi xTi  xT(i0)  RTi   T Ti Ti (3) ( 0)   0 xTi  xTi  Mô hình quyết định trước (The Predetermined Model)• Xác định trước một module sẽ được muahoặc được phát triển trong công ty.• Giả sử một hệ thống phần mềm bao gồm: 1, 2, . . m module đơn và m+1, . . . , n module tích hợp.• Ta cũng có thể chia các module này theocách: 1, 2, . . , m1 module mua m1 + 1, . . . , n module được phát triểntrong công ty Mô hình quyết định trước (tt) (The Predetermined Model)Công thức độ tin của cậy phần mềm (được kýhiệu ) phụ thuộc trên cấu trúc cây thứ bậc củaphần mềm: – Phần mềm bao gồm chỉ một module thì bằng độ tin cậy của chỉ module đó. – Module là một module được phát triển trong công ty thì độ tin cậy được tín theo công thức (1). – Module là một mudule mua độ tin cậy được tính theo công thức (2). – Module là một mudule tích hợp độ tin cậy được tính theo công thức (3). Mô hình quyết định trước (tt) (The Predetermined Model)– Khi một số con của một module tích hợp lại là các module tích hợp: + Công thức độ tin cậy cây thứ bậc phải được tính cho con trước. + Sau đó mới tính cho module tích hợp cha. Mô hình quyết định trước (tt) (The Predetermined Model)• Bài toán (P) có thể viết: Max (P1) S.T. m1 ni n  c i 1 j 1 ij yij  x j  m1 1 ...