Kiểm thử và đảm bảo chất lượng phần mềm phần 2
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Kiểm thử và đảm bảo chất lượng phần mềm phần 2
Kiểm thử và đảm bảo chất lượng phần mềm phần 2
Chương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2hệ thõng quan trọng. Khi dọc chương này, bạn sỉ:-Hiỉỉu được phương pháp đo độ tin cậy cùa hệ thông vả cấc mô hình phát triển đệ tin cậy có thề dược $ừ dụng dể dự báo khi một mức dộ yêu cấu dô tin cạy dạt dược.-Hiểu dược các nguyên Ịý cùa các luận chủng tỉnh an toản Víi cách các nguyên lý này có thế Kiểm thử và đảm bảo chất lượng phần mềm phần 2được sừ dụng cùng với phương phứp V & V trong việc đảm bào tinh an toàn cùa hệ thống.~ ỉỉiểu dược các vấn đễ ưong việc dàm bào tính bảo mật cùa hệ thòKiểm thử và đảm bảo chất lượng phần mềm phần 2
ng.-Lãm quen với các trường hợp an toàn mà đưa ra các luận chứng và dãu hiệu cùa an toản hệ thống.6.1. Giới thiệuRõ ràng, việc thẩm định và xác nhận tChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2ống, dịch vụ hệ thống và cách cư xử với các yêu cấu của người dùng. Tuy nhiên, với hệ thống quan trọng, tính tin cậy dược đòi hỏi cao, hơn nữa kiếm thử và phản tích được yêu cẫu dế đưa ra bằng chứng chứng tỏ hệ thõng đáng tin cậy. Có hai lý do tại sao bạn nên làm việc đó:1Chi phí thất bạiChi phí và Kiểm thử và đảm bảo chất lượng phần mềm phần 2hậu quà cùa việc thất bại trong hệ thống quan trụng có khả nâng cao hơn trong hệ thong không quan trong. Bạn giảm nguy cơ thất bại cùa hệ thung bảng cKiểm thử và đảm bảo chất lượng phần mềm phần 2
ách sử dụng việc thầm định và xác nhận tính hợp lệ của hệ thống. Việc tìm và loại bỏ lòi trước khi hệ thống được phần phối luổn luôn rẻ hơn chì phí doChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2A ,-n rhi'fA các vêu cẩu về tính tin cậy (tính sân sàng, tính tin cậy, tính an toàn vàtính bào mật). Đổ đánh giá đặc tính tin cậy đòi hỏi sự hoạt động cụ thể V & V (được thảo luận ở phán sau trong chương này). Trong một vài trường hợp, người kiếm soát bèn ngoài như người có thấm quyén trong ngành hà Kiểm thử và đảm bảo chất lượng phần mềm phần 2ng không quốc gia có the phải chứng nhận rằng hệ thống là an toàn trước khi nỏ có the cất cánh. Đe đạt dược chứng nhận này, bạn phài thiết kế và thựcKiểm thử và đảm bảo chất lượng phần mềm phần 2
thi thù tực đàc biệt V & V nhằm tập hợp chứng cứ về tính an toàn của hệ thống.Hình 6.1. Quã trình đo tinh tin cậyVì rất nhiều lý do, giá trị cùa V & VChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2mém quan trọng. Tất nhiên, đây là giá đã được điếu chình, khi thất bại cùa hệ thóng dà được ngản ngừa. Ví dụ, năm 1996, một hệ thống phần mem quan trọng trên tên lửa Ariane 5 bi hỏng và một vài vệ tinh đả bi phá hủy, gày thiệt hại hảng trăm triệu đôla. Sau đó, những người có trách nhiệm dã khám phá Kiểm thử và đảm bảo chất lượng phần mềm phần 2ra rẰng sự thiếu hụt trong hệ thống V & V có phán nào trách nhiệm trong việc này.Mặc dù, quá trình xác nhận tính hợp lệ của hộ thống quan trọng phán lKiểm thử và đảm bảo chất lượng phần mềm phần 2
ờn tập trung vào việc xác nhận tính hợp lệ cùa hệ thống, các hoạt dộng liên quan nèn kiểm tra dể xác nhận quá trình phát triển hụ thống dà dược thực hChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2c tiến hành.6.2. Xác nhận tính tin cậySổ lượng độ đo đã được phát triển để chỉ ra yêu cáu tin cậy của một hệ thống. Đế xác nhện hộ thõng có các yêu cầu nào, chúng ta phải đo dộ tin cậy của hộ thòng như một người dùng hê thống thông thường.Quá trình đo độ tin cậy của hộ thống được minh hoa trong hình Kiểm thử và đảm bảo chất lượng phần mềm phần 2 6.1. Quá trình này gớm 4 bước:1Đáu tiên, chúng ta nghiên cứu các hệ thống tổn tại cùa các kiểu như nhau de đưa ra mò tả sơ lược hoạt dộng. Mô tả sơ lKiểm thử và đảm bảo chất lượng phần mềm phần 2
ược hoạt dộng nhận biết loại cùa dâu vào hệ thống và xác suất xuát hiộn các đáu vào này trong trường hợp bình thường.1062San đó, chúng ta thiết đặt tậChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2o hệ thống mà bạn dã nghiên cửu). Thông thường, bạn sử dụng máy sinh dữ liệu ki Via thù để kiểm tra quá trình này.3Chúng ta kiổm thừ hệ thống sử dụng các dư liệu dã được sinh ở Iren và đếm số lượng cùng các loại lỗi xây ra. Số lán iôi cũng được ghi nhận.4Cuổi cùng, bạn tiổn hành thống kề các lỏi qua Kiểm thử và đảm bảo chất lượng phần mềm phần 2n trọng, bạn có thế tính toán độ tin cậy của phân mém và dưa ra giá trị dộ đo dộ tin cậy.Cádi tiếp cận này dược gọi là kiểm thử thống kê. Mục dích củaKiểm thử và đảm bảo chất lượng phần mềm phần 2
kiếm thử thống ké là đánh giá dô tin cậy của hệ thống.Cách tiếp cán dựa trên độ do tính tin cây không dẻ dàng áp dọng trong thực tế. Những khó khản cChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2 chính xác thực lê sử dụng cùa hệ thống.2Giá trị cao cùa sự sinh ra dữ liêu kiêm tra: Có the rất dắt dể sinh mọt lượng lớn dữ liệu yéu cẵu trong mô tà sơ lược hoạt dộng, ưừ khi quá trinh có thể hoàn toàn tự động.3Thống ke không chắc chắn khi yêu cầu tính tin cậy cao dược chi ra; Bạn phải sinh một số Kiểm thử và đảm bảo chất lượng phần mềm phần 2 lượng thống kê quan trọng các sai sót dố cho phép đo độ tin cậy chính xác. Khi phẩn mềm dã được xác thực tính tin cậy, một vài sai sót '.lén quan xuấKiểm thử và đảm bảo chất lượng phần mềm phần 2
t hiộn và nó khó khăn de sinh sai sót mới.Phát triền mô tả sơ lươc thao tác chinh xác chắc chân có thể VỚ! vài kiểu hệ chống, như hệ thống tru yến thôChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2 sử dụng hệ thống.Từ dó. cách tốt nhất để sinh lượng lởn dữ liệu đế đáp ứng yêu cáu đo dô lin cậy là sử dụng một hệ sinh dừ liệu kicm thừ mà có the thiết dật tự dộng sinh đâu vào phù hợp với mô tà sơ lược hoạt dộng. Tuy nhiên, nó thưởng không thế tự động sinh ra cất cả dừ liệu thừ nghiệm cho các hệ Kiểm thử và đảm bảo chất lượng phần mềm phần 2thống tương tác bởi vì các đấu vào thường là câu ,trà lời tới đẩu ra hệ thống. Tập dữ lỉộu cho các hệ thống đó phải dược sinh ra bằng tay, do dỏ chi pKiểm thử và đảm bảo chất lượng phần mềm phần 2
hi cao hơn. Ngay cả khi điếu dó cỏ thế hoàn toàn tự dộng, viếtiệnh cho hệ sinh dữ liệu thử nghiệm có thố tiết kiệm nhiếu thời gian.Thống ké không chắcChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển h Kiểm thử và đảm bảo chất lượng phần mềm phần 2hát hiện ra một lỏi hệ thống đơn lè. Chúng ta phài sinh ra một lượng lớn dứ liệu phù hợp, thổng kê số các lồi đế chắc chán rằng đô tin cậy cùa chúng ta là chính xác. Điổu này tốt nhất khi bạn tlm ra rất ít lỏi trong hệ thống, khó khăn là nó trở thành thước do sự hiệu quả của kỷ thuật ít lỗi. Nếu tín Kiểm thử và đảm bảo chất lượng phần mềm phần 2h tin cậy được xác dịnh ở mửc rất cao, nố thường không thực té dể sinh đù lỏi hệ thống đế kíém tra các đặc tà đó.Số đẩu vào —Các loại đáu vàoChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển hChương 6KỸ NGHỆ Độ TIN CẬY PHẦN MỀMMục tiêu của chương náy là thảo luận kỹ thuật tham định và xác nhận tỉnh hợp ỉệ ‘ được dùng trong việc phát triển hGọi ngay
Chat zalo
Facebook