Cung cấp chi phí cho độ tin cậy phần mềm

Bài toán mô hình chung (tt) • (GP1) cực đại hoá tổng độ tin cậy • (GP2) đảm bảo rằng tổng sự tiêu dùng là không quá ngân sách • (GP3) đảm bảo rằng một module được pháp triển trong công ty hoặc được mua • (GP4) đảm bảo ràng buộc rằng xi và ri sẽ bằng 0 nếu một trong số các version là được mua.

pdf28 trang | Chia sẻ: nguyenlam99 | Lượt xem: 841 | Lượt tải: 0download
Bạn đang xem trước 20 trang tài liệu Cung cấp chi phí cho độ tin cậy phần mềm, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
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ần mềm • Dựa vào máy tính để gia tăng hiệu suất công việc. • Máy tính đã được con người gắn kết vào hầu hết mọ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ũng như độ 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 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): Giới thiệu (tt) Database indexing (6) Parser (1) Keyword (5) Index generator (3) Version 11 Version 12 Analyzer (4) Stemmer (2) Version 21 Version 22 t i i ( ) l r r ( ) Độ 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à : trong đó: : là chi phí căn bản cần thiết cho việc phát triển module i trong công ty : độ tin cậy ban đầu của module i : độ tin cậy lớn nhất có thể đạt được của module 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í )1( 0 ))(( )0( )0()()0()( )0( ii ii xx i m i m i i xx xxerrrr iii         0 i )0( ir )(m ir ir )0( ix i Độ 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 chi phí. 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ả: • Độ tin cậy của bất kỳ một mudule mua i: và có chi phí là: 1 1   in j ij y ij n j iji ryr i    1 ij n j ij cyi 1 (2) Độ tin cậy của một module tích hợp • Cho là một module tích hợp với các con • Độ tin cậy lớn nhất có thể đạt được của module i: trong đó là độ tin cậy các con Ti. • Độ tin cậy ban đầu: 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à: iT ),...,,(: 21 si iiiT   s k jk m T rr i 1 )( jkr )( 1 )0( m Ti s k jkiT ii rqTrqTr               )0( )0(()0()()( 0 )(( )0( ii ii iTiTiT ii i TT TT xx T m T m T T xx xxerrrR  (3) Mô hình quyết định trước (The Predetermined Model) • Xác định trước một module sẽ được mua hoặ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 theo cách: 1, 2, . . , m1 module mua m1 + 1, . . . , n module được phát triển trong 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ủa phầ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: S.T. Max Bxyc n mj jij m i n j ij i     11 1 1 1 1 1   in j ijy với i=1,2, . . . ,m1 xi 0 với i=m1 +1, . . . ,n và (P4) yij 0,1 với i=1, . . . ,m1 và j=1, . . . ,ni   (P1) (P2) (P3) Mô hình quyết định trước (tt) (The Predetermined Model) • Mục tiêu (P1) là cực đại hoá độ tin cậy của hệ thống . • (P2) đảm bảo tổng chi phí sử dụng không vượt quá ngân sách cho phép. • P(3) chắc chắn module mua i có một version được mua, với i=1,2,. . .,m. • Cuối cùng, (P4) bảo đảm toàn bộ xi không âm và toàn bộ yij là nhị phân. Ví dụ Database indexing (6) Parser (1) Keyword (5) Index generator (3) Version 11 Version 12 Analyzer (4) Stemmer (2) Version 21 Version 22 Module tích hợp Module mua Module phát triển • Parse(1) và Stemmer (2): 2 module mua và công thức độ tin cậy là (2): r1 và r2. • Index-generator(3) và Analyzer(4): 2 module chương trình được phát triển trong công ty và công thức độ tin cậy (1) là r3 và r4. • Keyword(5), Database-indexing(6) : module tích hợp được áp dụng công thức (3): r5, r6. Ví dụ (tt) • Giả sử ta chọn các thông số ngẫu nhiên: Ví dụ (tt) 3,3.0,8.0 4,25.0,7.0 5.3,4.0,5.0,9.0 2,3.0,53.0,83.0 8,95.0 7,87.0 6,9.0 5,7.0 )0( 666 )0( 555 )0( 44 )0( 4 )( 0 )0( 33 )0( 3 )( 3 2222 2121 1212 1111         xq xq xrr xrr cr cr cr cr m m     Độ tin cậy của các module mua 1 và 2 và các module chương trình 3 và 4 được tính trước: Ví dụ (tt) Otherwise xe r xer yryrr yryrr x x 5.3 0 )5.09.0(9.0 Otherwise 2 0 )53.083.0(83.0 4 )5.3(4.0 4 3 )2(3.0 3 222221212 121211111 4 3                 • Độ tin cậy của Keyword(5) là: trong đó: Ví dụ (tt) Otherwise xerrr r xmm 4 0 )( 5)3(25.0)0(5 )( 5 )( 5 5 6        42 )( 5 rrr m  )( 5 0 5 8.0 mrr  Ví dụ (tt) • là độ tin cậy Database-indexing (6) trong đó: Otherwise xerrr r xmm 4 0 )( 6)3(3.0)0(6 )( 6 )( 6 6 6        351 )( 6 rrrr m  )( 6 0 6 8.0 mrr  Ví dụ (tt): max 1,0,,, 0,0,0,0 1 1 8765 .. 22211211 6543 2221 1211 654322211211      yyyy xxxx yy yy Bxxxxyyyy TS Bài toán ràng buộc: B y11 y12 y21 y22 x3 x4 x5 x6 Độ tin cậy tối ưu 25 1 0 1 0 2 4 4 3 0.11826 26 0 1 1 0 2 4 4 3 0.15205 30 0 1 0 1 3.3816 5.6183 4 3 0.2518 35 0 1 0 1 5.1168 6.9833 4.7556 4.1441 0.3491 40 0 1 0 1 6.3842 7.9627 6.2414 5.4115 0.4269 45 0 1 0 1 7.6511 8.9325 7.7371 6.6785 0.4870 50 0 1 0 1 8.9178 9.8958 9.2410 9.9452 0.5316 55 0 1 0 1 10.1842 10.8547 10.7494 9.2116 0.5639 60 0 1 0 1 11.4505 11.8105 12.2610 10.4778 0.5868 70 0 1 0 1 13.9826 13.7167 15.2906 13.0099 0.6140 80 0 1 0 1 16.5145 15.6189 18.3246 15.5418 0.6270 100 0 1 0 1 21.5779 19.4188 24.3978 20.6053 0.6361 150 0 1 0 1 34.2205 28.9238 39.5821 33.2734 0.63863 200 0 1 0 1 46.7863 37.8185 56.3336 45.0614 0.63868 Bảng kết quả độ tin cậy tối ưu với chi phí trong khoảng 25 đến 200 Mô hình chung (The General Model) • Các module chương trình là 1, . . . ,m. • Mỗi module i có thể là mua ở bên ngoài hoặc được phát triển trong công ty. • Số version của các module mua là ni với I = 1, . . .,n. • Cho zi là một biến nhị phân, zi = 1 nếu module i là được phát triển trong công ty, ngược lại zi = 0. • Do một module có thể được phát triển trong công ty hoặc được mua: 1 1   in j iji yz Mô hình chung (tt) (The General Model) • Cho ri là độ tin cậy đạt được với chi chí xi khi module i được phát triển trong công ty. • Với bất kỳ module chương trình i nào, nó có độ tin cậy Ri : ij n j ijiii ryzrR i    1 Bài toán mô hình chung Max 0 1 )0( 1 1 1 1 1            i iii n j iji n j jij m i n j ij x xUzx yz Bxyc i i  Với i=1,2, . . . , m Với i=1,2, . . . , m Với i=1,2, . . . , n và S.T. (GP1) (GP2) (GP3) (GP4) (GP5) yij = 0,1 với i=1, . . . ,m và j=1, . . ., ni Trong đó: U là số lớn nhất (ví dụ U=1,000,000) là số nhỏ nhất (ví dụ =0.000001)  Bài toán mô hình chung (tt) • (GP1) cực đại hoá tổng độ tin cậy • (GP2) đảm bảo rằng tổng sự tiêu dùng là không quá ngân sách • (GP3) đảm bảo rằng một module được pháp triển trong công ty hoặc được mua • (GP4) đảm bảo ràng buộc rằng xi và ri sẽ bằng 0 nếu một trong số các version là được mua.

Các file đính kèm theo tài liệu này:

  • pdfresource_allocation_se_8581.pdf
Tài liệu liên quan