Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
➤ 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 Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
Chương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng t hiên cốc lồi tiềm ẩn bên trong chương trình/dơn vị chương trinh cồn kiểm thừ. Các lồi này thường khó phát hiện bời các kỳ thuật kiểm thứ hãm hay kiếm thử chức năng được trình bày trong chương 5. Dể áp 'lụng phương pháp này, chúng ta cần phân tích mã nguồn và xây dựng các ca kiểm thư ứng với các dò Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng ng diều khiên của chương trình/đơn vị chương trình. Cốc độ đo hay tiêu chí kiểm thừ cho phương pháp này cũng sè dược giới thiệu.6.1Kiểm thử hộp trắngKGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
iêm thứ hộp trắng sứ dụng các chiến lược cụ the và sứ dụng mà nguồn cứa chương trình/đơn vị phần mềm cần kiểm thử nhằm kiểm tra xem chương trình/đơn vChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng hát hiện các lỗi/khiếm khuyết có thể quan sát dược, kiểm thử hộp trang cho phép phát hiện các lỗi/khiếm khuyết tiềm ẩn bên trong chương trinh/đơn vị phần mềm. Các lỏi này thường khó phát hiện Ixii các phương pháp kiêm thứ hộp đen. Kiêm thử hộp đen và kiêm thứ hộp trắng không thể thay thế cho nhau mà Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng chúng cần được sữ dụng kết hợp với nhau trong một quy trình kiểm thử thống nhất nhằm đàm bảo chất lượng phẩn mềm. Tuy nhiên, de áp dụng các phương phGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
áp kiêm thứ hộp trắng, người137138CHƯƠNG (ỉ. kiểm thừ dòng diều khiểnkiểm thử không chi cần hiếu rõ giải thuật mã côn cần có các- kỹ nấng vã kiến thứcChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng g các phương pháp kiểm thừ hộp trắng thường lốn thời gian vã công sức nhát là khi chương trình/đơn vị phần mem có kích thưóc lớn. Vì lý do này, các phương pháp kiểm thử hộp trắng chù yếu dược sử dụng cho kiêm thừ đơn vị [D.95].Hai phương pháp được sử dựng trong kicin thứ hộp tráng là kiỗm thứ dòng d Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng iều kliiexi (control flow testing) và kiểm thừ dòng dữ liệu (data flow testing). Phương pháp kiểm thử dòng điền khiên tạp tiling kiểm thử tính dũng dắGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
n của các giãi thuật sứ dụng trong các chương trìnlx/dơix vị phàn mem. Phương pháp kiêm thứ dòng dữ liộn tạp trung kiểm thử tính dứng đan cùa việc sữ Chương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng hiên. Phương pháp kiỗm thứ dòng dfr liệu sẽ được giói thiệu trong chương 7.6.2Đồ thị dòng điều khiểnPhương pháp kiểm thứ dòng diều khiên dựa trên khái niệm đồ thi dòng diều khien (control flow graph). Dồ thị này được xây dựng tìr mã nguồn của chương trình/đơn vị chương trình. Dồ thị dòng diều khiển Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng là một dồ thị có hướng gồm các đình tương ứng với các câu lệnh/nỉióm câu lệnh vả các- cạnh là các dòng điều khiên giữa các câu lệnh/nhóm câu lệnh. NếuGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
i và j là các dinh cùa dồ thị dõng diều khiển thì tồn tại một cạnh từ i đến j nếu lệnh tương ứng vói j có the được thực hiện ngay sau lệnh tương lingChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng điêu khiên bao gồm diem bát dầu cùa đơn vị chương trinh, khôi xứ lý chứa các câu lệnh khai báo hoặc linh toán, diem quyết dinh ứng với các- câu lệnh diên kiên trong các khối lệnh rõ nhánh hoác lặp. diêm nối ứng vói các câu lệnh ngay sau các lệnli rẽ nhãxxh. và diem kết thúc ửng với diem kết thúc của Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng dơn vị chương trình. Các cấn trúc dièn khiên phô bion ciía chương trinh dược mô rã trong Hình 6.2. Chúng ta sê sử dụng cấc thành phần cơ ban và các cGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
ấu trúc phổ biến này dể dế dâng xây dựng dò thị dòng diều khiển cho6.3. CÁC DỘ DO KÌỂM THỬ139Diêm xuâl phát Khối xử lý Diêm quyết định Diêm nôi Diêm kChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng ổ biến cùa chương trình.mọi dơn vị chương trình viết bằng mọi ngôn ngữ lộp trinh.Chúng ta thử xem cách dựng đồ thị dòng điền khiển cho dơn vị chương trinh có mã nguồn bang ngôn ngữ c như Hình 6.3. Chứng tã đánh số các dòng lệnh của dơn vi chường trình và lấy số nãy lãm đĩnh cùa đồ thị. Diêm xuất phá Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng t của đơn vị chương trình ítng với câu lệnh khai báo hàm íoo. Dinh 1 ứng với câu lệnh khai báo biến e. Các dinh 2 vã 3 ứng với câu lệnh if. Dĩnh 1 ứngGiáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng
với câu lệnh khai báo biến X trong khi các đĩnh 5 và 6 ứng vói câu lệnh if. Dinh 7,8 dại diện cho hai câu lệnh 7 và 8. Trong trường hợp này. chúng taChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phát Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng ển.6.3Các độ đo kiểm tliii*Kiểm thứ hăm (kiểm thừ hộp den) có hạn chế lã chúng la không biết có thừa hay thiến các ca kiêm thứ hay không so vói chương trình cài đặt và thiến thừa ờ mức độ mào. Dộ do kiêm thữ là một cõng cụ giúp ta do mức độ bao phu chương trinh cùa một lập ca kiêm thừ cho trước. Mức Giáo trình Kiểm thử phần mềm: Phần 2 - Phạm Ngọc Hùng dộ bao phũ cùahttps://khothuvien.cori!noCHƯƠNG G. KIỂM THỬ DÒNG DIỀU KHIẺNfloat foo(int a, int b, int c, int I1.2.3.4.5.6.7.8.}float e;Chương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phátChương 6Kiểm thử dòng điều khiểnTrong chương này. chúng ta sè tim hiên chi tiết về phương pháp kiểm thií dòng dữ liệu (control flow testing) nhằm phátGọi ngay
Chat zalo
Facebook