Giáo trình Công nghệ 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: Giáo trình Công nghệ phần mềm: Phần 2
Giáo trình Công nghệ phần mềm: Phần 2
CHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dy Giáo trình Công nghệ phần mềm: Phần 2 ynamic techniques) trong quá trình v&v đe kiêm tra tính đúng đán cùa một sàn phàm phần mèm.Chương này sẽ trình bày mọt phương pháp tĩnh là kìiào sát (inspection) chương trình, với vai trò như là một phép chứng minh phi hình thức và, một phương pháp động là thứ nghiẹmttesting) chương trình.I. Kháo sá Giáo trình Công nghệ phần mềm: Phần 2 tKháo sát (hay thanh tra) là nhúng cuộc họp nhàm mục đích xác minh mọt sản phẫm. Phan lớn các phương pháp sàn xuất phan mèm đều an định trước những cuGiáo trình Công nghệ phần mềm: Phần 2
ộc họp như vạy. Tùy theo ban chát cùa san phàm cần kháo sát, người ta nói về khảo sát thiết kế toàn thế (global design), khao sát thiết kế chi tiết (dCHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dy Giáo trình Công nghệ phần mềm: Phần 2 ười lập trình, mọt người thiết ke và mọt kháo sát (đều là nhùng chuyên gia về Tin học, riêng khao sát phai có kiến thức chuyên mon về lĩnh vực ứng dụng cùa sán phàm).2Các thành viên nhặn chương trình nguồn và các đặc tá trước cuộc họp ít ngày đe đọc và chuẩn bị.3Cuộc họp kéo dài khoảng 1 giò 30 đến Giáo trình Công nghệ phần mềm: Phần 2 khoảng 2 giò.4Trong quá trình họp khao sát :-Người lập trình đọc và giai thích chương trình cùa mình, có the đọc từng dòng lệnh một và trà lòi các cáuGiáo trình Công nghệ phần mềm: Phần 2
hói được đạt ra.-Chương trình được phàn tích cân cứ trên một danh sách các lồi sai (errors) thòng dụng do kháo sát cung cap.5Cuộc họp không sửa lòi tCHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dy Giáo trình Công nghệ phần mềm: Phần 2 u khiêm khuyết (failures), hoác nhiều lồi trầm trọng thì phai tiép tục khao sát lần sau, sau khi sứa lồi.TS. PHAN HUY KHÁNH biên soạn90Thủ nghiệm chương trinh VIMột so kịch bàn coi trọng việc tìm lói sai và khuyển khích việc chạy demo trực tiếp mà chương trình (hand made) nguồn : khao sát mang đến c Giáo trình Công nghệ phần mềm: Phần 2 uộc họp cách tiến hànlì và các dừ liệu liên quan đẽ mọi người tiến hành thứ nghiệm. Người ta còn gọi cách thứ nghiệm như vậy là walk throughs (chạy suGiáo trình Công nghệ phần mềm: Phần 2
ốt).Một só kịch bán lại coi trọng việc chứng minh không hình thức : khão sát đề nghị xác minh các tính chát cho phép tint nghiệm tính đúng đán cùa sanCHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dy Giáo trình Công nghệ phần mềm: Phần 2 ọp : Sản phàm được giao cho những người không tham gia vào việc lập trình, họ có những khuynh hướng đánh giá độc lập.Có thê nói phương pháp khảo sát có hiệu quà đáng ké : những số liệu tìm tháy trong các văn bán ghi nhạn khoang 50% sai sót được phát hiện khi khao sát. Những con só dưới đay (láy từ t Giáo trình Công nghệ phần mềm: Phần 2 ạp chí IEEE3 năm 1992 cùa Dyer M. từ bài báo Verification Based Inspection") cho thay các sai so tìm tháy khi phát triển dự án 5 phan mềm cứa hàng IBMGiáo trình Công nghệ phần mềm: Phần 2
:Dự ánKháo sát thiết kế toàn bọKháo sát thiết kế chi tiếtKháo sát mãThứ nghiệm đơn vịThứ nghiệm hệ thống150252524134917173202710202342026221836510182CHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dy Giáo trình Công nghệ phần mềm: Phần 2 n) bang cách xác minh (verification) trong quá trình sản xuất phan mèm. Sự phát trien phẩn là liên tiếp làm mịn (raffinement) san phàm. Mỗi giai đoạn, người ta tiên hành chứng minh tính đúng đán (prouving) mọt cách chạt chè, đong thòi vói các cuộc khao sát, sao cho sán phẩm phan mềm không chứa sai s Giáo trình Công nghệ phần mềm: Phần 2 ót.Việc thừ nghiệm chí được tiến hành khi xác minh hậu nghiệm (a posteriori) nhò các phương pháp thong ke, nhàm đạt được mục đích đặt ra lúc đau. PhươGiáo trình Công nghệ phần mềm: Phần 2
ng pháp phòng sạch do H.Mills xày dựng tại IBM. đà được áp dụng đe sàn xuất các phần mèm cở lớn.IEEE, đoc là eye-triple-ee, tén viết tồt cua InstituteCHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dyCHƯƠNG 4Thử nghiệm chương trìnhNhư đả trinh bày trong chương trưóc, người ta thường sữ dụng các kỹ thuật tĩnh (static techniques) và kỹ thuật động (dyGọi ngay
Chat zalo
Facebook