Kiểm chứng và phê duyệt phần mềm

Kiểm chứng phê duyệt phần mềm Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang Mục tiêu ● ● ● Giới thiệu kiểm chứng nghiệm thu phần mềm khác hai khái niệm Thảo luận qui trình xem xét chương trình vai trò kiểm chứng nghiệm thu Tìm hiểu kỹ thuật kiểm thử phần mềm Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang Các chủ đề liên quan ● ● ● ● Kế hoạch kiểm chứng nghiệm thu Xem xét phần mềm Phân tích tĩnh tự động Phát triển phần mềm phòng Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang Kiểm chứng nghiệm thu ● ● Kiểm chứng (Verification) Phần mềm có phù hợp với đặc tả không? Nghiệm thu (Validation) Phần mềm có thực đòi hỏi mà người sử dụng thực mong muốn không? Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang Qui trình kiểm chứng nghiệm thu ● ● Đây qui trình mang tính chu trình – V & V phải áp dụng cho giai đoạn qui trình phần mềm Hai mục đích V & V: Bùi Th H ng • Phát nhược điểm hệ thống; • Đánh giá xem liệu hệ thống có ích sử dụng tình vận hành không Ch ng 13 Ki m ch ng phê t ph n m m Trang Các mục tiêu V& V ● ● ● Kiểm chứng đánh giá cần phải tạo tin tưởng vào phù hợp phần mềm mục đích đặt KHÔNG mang ý nghĩa phần mềm hoàn toàn lỗi Hệ thống phải sử dụng đủ tốt cho mục đích người sử dụng cách thức sử dụng định mức độ hài lòng cần phải có Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang Sự tin tưởng vào V & V ● Phụ thuộc vào mục đích hệ thống, mong đợi người sử dụng môi trường tiếp thị • • • Bùi Th H ng Chức phần mềm • Mức độ hài lòng phụ thuộc vào mức độ quan trọng phần mềm hệ thống Sự mong đợi người sử dụng • Người sử dụng không mong chờ nhiều vào số loại phần mềm định Môi trường tiếp thị • Nhanh chóng đưa sản phẩm thị trường quan trọng việc tìm nhược điểm chương trình Ch ng 13 Ki m ch ng phê t ph n m m Trang Kiểm chứng tĩnh động ● ● Kiểm chứng tĩnh Liên quan đến việc phân tích cấu trúc, trình bày hệ thống để phát vấn đề (các tài liệu phân tích, thiết kế, tổ chức thực hệ thống) Kiểm thử phần mềm Liên quan đến việc thử nghiệm quan sát hành vi phần mềm (kiểm chứng động) • Bùi Th H ng Hệ thống thực với liệu thử hành vi hoạt động quan sát Ch ng 13 Ki m ch ng phê t ph n m m Trang V & V tĩnh động Software inspections Requirements specifica tion High-level design Formal specification Detailed design Program testing Prototype Bùi Th H ng Program Ch ng 13 Ki m ch ng phê t ph n m m Trang Kiểm thử chương trình ● ● ● Có thể phát diện sai sót phát vắng mặt chúng Kỹ thuật kiểm chứng yêu cầu phi chức cho phần mềm thực quan sát xem hành động Nên sử dụng với kiểm chứng tĩnh để có kết toàn diện cho qui trình V&V Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 10 Kiểm thử gỡ rối ● ● ● ● Kiểm thử để phát lỗi gỡ rối qui trình khác Kiểm chứng nghiệm thu liên quan đến việc xác minh tồn khiếm khuyết chương trình Gỡ rối liên quan đến việc định vị sửa chữa sai sót Gỡ rối bao gồm việc hình thành giả định hành vi chương trình sau kiểm thử giả định để tìm lỗi hệ thống Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 12 Qui trình gỡ rối Test resu lt s Specifi cat ion Locat e error Design error repair Bùi Th H ng Ch Test cases Repai r error ng 13 Ki m ch ng phê t ph n m m Ret est program Trang 13 Lập kế hoạch V & V ● ● ● ● Lập kế hoạch chi tiết yêu cầu bắt buộc để vạch tất qui trình kiểm thử đánh giá cần thiết Kế hoạch phải bắt đầu từ qui trình phát triển Kế hoạch phải cân đối kiểm chứng tĩnh kiểm thử Kế hoạch kiểm thử phải xác định chuẩn cho qui trình kiểm thử không mô tả phép thử sản phẩm Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 14 Mô hình kiểm chứng phát triển Requ irem en t s specifi ca t ion Syst em specifi ca t ion Syst em in t eg rat ion t est plan Accept an ce t est plan Service Bùi Th H ng Syst em design Accept an ce t est Ch Det ail ed design Su b-syst em in t eg rat ion t est plan Syst em in t eg rat ion t est M odu le an d u n it code an d t est Su b-syst em in t eg rat ion t est ng 13 Ki m ch ng phê t ph n m m Trang 15 Cấu trúc kế hoạch kiểm thử phần mềm ● ● ● ● ● ● ● Qui trình kiểm thử Danh sách yêu cầu cần theo dõi Các hạng mục cần kiểm thử Lịch kiểm thử Các thủ tục lập biên kiểm thử Các yêu cầu phần cứng phần mềm Các ràng buộc Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 16 Kế hoạch kiểm thử phần mềm Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 17 Kiểm tra phần mềm ● ● ● Kiểm tra (Inspection) bao gồm việc xem xét tài liệu gốc mô tả hệ thống nhằm mục đích phát điều không bình thường khiếm khuyết hệ thống Kiểm tra chương trình không bao gồm việc xem xét xem chương trình sử dụng không Việc kiểm tra phải tiến hành mô tả hệ thống (các yêu cầu, thiết kế, liệu cấu hình, liệu kiểm thử, v.v) Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 18 Qui trình kiểm tra ● ● Nhiều khiếm khuyết khác phát kiểm tra Khi kiểm thử, lỗi che dấu vài lỗi khác đòi hỏi phải thực nhiều phép thử Việc kiểm tra phần mềm cần phải tiến hành chuyên gia có nhiều kinh nghiệm lập trình phát triển hệ thống Họ phát nhanh kiểu lỗi thường hay mắc phải Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 19 Kiểm tra kiểm thử ● ● ● ● Kiểm tra (Inspections) kiểm thử (Test) qui trình bổ sung cho không đối lập với kỹ thuật kiểm chứng Cả hai cần phải sử dụng qui trình V & V Kiểm tra xem xét đắn đặc tả không xác định phù hợp yêu cầu thực tế người sử dụng Kiểm tra không xem xét đặc tính phi chức hệ thống ví dụ hiệu suất, tính khả dụng v.v Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 20 Qui trình kiểm tra Plan n in g Overview Foll ow-u p In div i du al preparat ion Bùi Th H ng Ch Rework In spect ion m eet in g ng 13 Ki m ch ng phê t ph n m m Trang 21 Thủ tục kiểm tra ● ● ● ● Tổng quan hệ thống cần phải trình bày cho đội kiểm tra Chương trình tài liệu liên quan phải chuyển trước cho thành viên kiểm tra Tiến hành kiểm tra ghi lại lỗi phát Tiến hành thay đổi cần thiết để sửa lỗi phát Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 22 Các vai trò kiểm tra Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 23 Danh sách kiểm tra Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 24 Danh sách kiểm tra Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 25 Tóm lược ● ● ● ● Kiểm chứng chấp nhận hai việc khác Kiểm chứng phù hợp đặc tả; chấp nhận chương trình đáp ứng yêu cầu khách hàng Kế hoạch kiểm thử phải đặt để hướng dẫn qui trình kiểm thử Các kỹ thuật kiểm chứng tĩnh bao gồm viễ xem xét phân tích chương trình để phát lỗi Kiểm tra chương trình có hiệu việc phát lỗi Bùi Th H ng Ch ng 13 Ki m ch ng phê t ph n m m Trang 26 [...]... ch ng và phê duy t ph n m m Trang 15 Cấu trúc của một kế hoạch kiểm thử phần mềm ● ● ● ● ● ● ● Qui trình kiểm thử Danh sách các yêu cầu cần theo dõi Các hạng mục cần kiểm thử Lịch kiểm thử Các thủ tục lập biên bản kiểm thử Các yêu cầu về phần cứng và phần mềm Các ràng buộc Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 16 Kế hoạch kiểm thử phần mềm Bùi Th H ng Ch ng 13 Ki m ch ng và phê. .. ng 13 Ki m ch ng và phê duy t ph n m m Trang 19 Kiểm tra và kiểm thử ● ● ● ● Kiểm tra (Inspections) và kiểm thử (Test) là những qui trình bổ sung cho nhau và không đối lập với các kỹ thuật kiểm chứng Cả hai cần phải được sử dụng trong qui trình V & V Kiểm tra có thể xem xét được sự đúng đắn của một đặc tả nhưng không xác định được sự phù hợp của các yêu cầu thực tế của người sử dụng Kiểm tra cũng không... và ghi lại những lỗi đã phát hiện được Tiến hành những thay đổi cần thiết để sửa những lỗi đã phát hiện được Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 22 Các vai trò của kiểm tra Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 23 Danh sách kiểm tra 1 Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 24 Danh sách kiểm tra 2 Bùi Th H ng Ch ng 13 Ki m ch ng và phê. .. 13 Ki m ch ng và phê duy t ph n m m Trang 11 Kiểm thử và gỡ rối ● ● ● ● Kiểm thử để phát hiện lỗi và gỡ rối là các qui trình khác nhau Kiểm chứng và nghiệm thu liên quan đến việc xác minh sự tồn tại của các khiếm khuyết trong một chương trình Gỡ rối liên quan đến việc định vị và sửa chữa những sai sót này Gỡ rối bao gồm việc hình thành các giả định về hành vi của chương trình sau đó kiểm thử các giả... v.v) Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 18 Qui trình kiểm tra ● ● Nhiều khiếm khuyết khác nhau có thể được phát hiện trong khi kiểm tra Khi kiểm thử, một lỗi có thể che dấu một vài lỗi khác và do đó đòi hỏi phải thực hiện nhiều phép thử Việc kiểm tra phần mềm cần phải được tiến hành bởi những chuyên gia có nhiều kinh nghiệm trong lập trình và phát triển hệ thống Họ có thể sẽ... duy t ph n m m Trang 25 Tóm lược ● ● ● ● Kiểm chứng và chấp nhận là hai việc khác nhau Kiểm chứng chỉ ra sự phù hợp của các đặc tả; chấp nhận chỉ ra rằng chương trình đáp ứng được các yêu cầu của khách hàng Kế hoạch kiểm thử phải được đặt ra để hướng dẫn qui trình kiểm thử Các kỹ thuật kiểm chứng tĩnh bao gồm viễ xem xét và phân tích chương trình để phát hiện lỗi Kiểm tra chương trình rất có hiệu quả... cần thiết Kế hoạch này phải bắt đầu ngay từ qui trình phát triển Kế hoạch phải cân đối giữa kiểm chứng tĩnh và kiểm thử Kế hoạch kiểm thử phải xác định được các chuẩn cho qui trình kiểm thử chứ không chỉ là mô tả các phép thử sản phẩm Bùi Th H ng Ch ng 13 Ki m ch ng và phê duy t ph n m m Trang 14 Mô hình kiểm chứng phát triển Requ irem en t s specifi ca t ion Syst em specifi ca t ion Syst em in t eg... ch ng và phê duy t ph n m m Trang 20 Qui trình kiểm tra Plan n in g Overview Foll ow-u p In div i du al preparat ion Bùi Th H ng Ch Rework In spect ion m eet in g ng 13 Ki m ch ng và phê duy t ph n m m Trang 21 Thủ tục kiểm tra ● ● ● ● Tổng quan về hệ thống cần phải được trình bày cho đội kiểm tra Chương trình và các tài liệu liên quan phải được chuyển trước cho các thành viên kiểm tra Tiến hành kiểm. .. 17 Kiểm tra phần mềm ● ● ● Kiểm tra (Inspection) bao gồm việc xem xét các tài liệu gốc mô tả hệ thống nhằm mục đích phát hiện những điều không bình thường và những khiếm khuyết của hệ thống Kiểm tra chương trình không bao gồm việc xem xét xem chương trình có thể được sử dụng không Việc kiểm tra phải được tiến hành đối với mọi mô tả của hệ thống (các yêu cầu, thiết kế, dữ liệu cấu hình, dữ liệu kiểm. ..Các kiểu kiểm thử ● Phát hiện khiếm khuyết • • ● Các phép thử được thiết kế để phát hiện các khiếm khuyết của hệ thống Một kiểm thử khiếm khuyết thành công là một phép thử phát hiện được sự hiện diện của các khiếm khuyết trong một hệ thống Kiểm thử chấp nhận • • Bùi Th H ng Nhằm mục đích chỉ ra sự phù hợp của phần mềm đối với các yêu cầu Một kiểm thử chấp nhận thành công là